Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SEIF Day 2014

July 16, 2014 | Microsoft Campus, Building 33
Redmond, Washington, United States

SEIF Day 2014

The annual Software Engineering Innovation Foundation (SEIF) Day brought together SEIF winners, influential software engineering researchers, and researchers from Microsoft Research to present and discuss existing software engineering projects being pursued by the SEIF community, and future directions in software engineering research.


Gail C. Murphy is a professor of Computer Science at the University of British Columbia. She is also a co-founder/CSO (Chief Science Officer) at Tasktop Technologies Inc. Her research interests are in improving the productivity of software developers and knowledge workers by giving them tools to identify, manage and coordinate the information that really matters for their work.



Thomas (Tom) Ball is a principal researcher and research manager at Microsoft Research, Redmond, widely known for his work in program profiling, software model checking, program testing, and empirical software engineering. He holds a B.A. in Computer Science from Cornell University and a M.S. and Ph.D. from the University of Wisconsin-Madison. Ball is a 2011 ACM Fellow for "contributions to software analysis and defect detection." Since becoming a manager at Microsoft, he has nurtured and grown research areas such as automated theorem proving, program testing and verification, and empirical software engineering.


The event takes place in Hood with meals in McKinley and breaks in the halls

8.00  Buses leave Hyatt Bellevue (NE 10th Street entrance) to Microsoft Conference Center at 8.00, 8.15 and 8.30am
8.15  Breakfast in McKinley
9.00   Welcome - Chris Bird and Madan Musuvathi, Microsoft Research


Keynote – Gail Murphy, University of British Columbia

Chair: Chris Bird, Microsoft Research


Software Engineering at Microsoft (Peli de Halleux(1), K. Rustan M. Leino Microsoft Research)

Chair: Madan Musuvathi, Microsoft Research

10.40  Break 

Software Engineering at Microsoft (Chris Bird(2), Kim Herzig, and Tom Zimmermann, Microsoft Research)

Chair: Andreas Zeller, University of Saarland


Presentation of 2014 Microsoft Research Awards (Tony Hey

followed by Group Photograph

12.15 Lunch in McKinley

SEIF Research (Emery Berger, University of Massachusetts Amherst, Andrew J. Ko, University of Washington, Dan S. Wallach, Rice University)

Chair: Arno Puder, (San Francisco State University)

14.30 Break 

Collaboration Panel -

Judith Bishop, Microsoft Research (Chair), Alex Orso, Georgia Tech, Mark Marron, Microsoft Research, Andreas Zeller, Saarland University, Ben Zorn, Microsoft Research


Keynote - Tom Ball, Microsoft Research

Chair: Yuriy Brun, University of ), Amherst


Close and proceed to Dinner Judith's House in Kirkland (see emailed instructions)

  Photos of the Day

Talks without slides

(1) A live demo of Code Hunt with Office Mix and TouchDevelop with Arduino. No slides.

(2) A talk with some yet to be released information. No public slides.


Program Chairs

 General Chairs





Christian Bird 

Madan Musuvathi 

Judith Bishop 

Arjmand Samuel 





Microsoft Conference Center Building 33 16070 NE 36th Way, Redmond, WA 98052


July 16, 2014


Registration page