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.

Keynotes

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.

Agenda

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

9.10

Keynote – Gail Murphy, University of British Columbia

Chair: Chris Bird, Microsoft Research

10.00 

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

Chair: Madan Musuvathi, Microsoft Research

10.40  Break 
11.00 

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

Chair: Andreas Zeller, University of Saarland

12.00    

Presentation of 2014 Microsoft Research Awards (Tony Hey

followed by Group Photograph

12.15 Lunch in McKinley
13.30 

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 
15.00

Collaboration Panel -

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

16.00    

Keynote - Tom Ball, Microsoft Research

Chair: Yuriy Brun, University of ), Amherst

17.00 

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.

Organization

Program Chairs

 General Chairs

 

 

 

 

Christian Bird 

Madan Musuvathi 

Judith Bishop 

Arjmand Samuel 

  

                     

Logistics

Venue

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

Date

July 16, 2014

Registration

Registration page