SEIF Day 2014


pgtitle_seif2014.jpgThe 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.







Welcome – Chris Bird and Madan Musuvathi, Microsoft Research

Keynote – Gail Murphy, University of British Columbia | Slides

Chair: Chris Bird, Microsoft Research

Software Engineering at Microsoft – Peli de Halleaux, K. Rustan M. Leino, Microsoft Research | Slides

Chair: Madan Musuvathi, Microsoft Research

Software Engineering at Microsoft – Chris Bird, Kim Herzig | Slides, and Tom Zimmermann, Microsoft Research | Slides Chair: Andreas Zeller, University of Saarland

Presentation of 2014 Microsoft Research Awards -Tony Hey

Group Photograph – View

SEIF Research – Emery Berger, University of Massachusetts Amherst | Slides, Andrew J. Ko, University of Washington | Slides, Dan S. Wallach, Rice University | Slides Chair: Arno Puder, San Francisco State University

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

Keynote – Tom Ball, Microsoft Research | Slides Chair: Yuriy Brun, University of Massachusetts, Amherst


Photos of the DayView

Talks without slides A live demo of Code Hunt with Office Mix and TouchDevelop with Arduino


gcm2.jpgGail 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.


tomball.jpgThomas (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.