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.
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
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 Day – View
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.