{"id":199951,"date":"2014-03-06T09:59:57","date_gmt":"2014-03-06T09:59:57","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/events\/seif-day-2014\/"},"modified":"2025-08-06T12:01:58","modified_gmt":"2025-08-06T19:01:58","slug":"seif-day-2014","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/seif-day-2014\/","title":{"rendered":"SEIF Day 2014"},"content":{"rendered":"\n\n

Venue: <\/strong>Microsoft Conference Center Building 33 16070 NE 36th Way, Redmond, WA 98052<\/p>\n

Previous Workshop: <\/strong>SEIF Day 2012<\/a>Opens in a new tab<\/span><\/p>\n

\"pgtitle_seif2014.jpg\"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.<\/p>\n

 <\/p>\n

 <\/p>\n

 <\/p>\n

Organization<\/h3>\n

Opens in a new tab<\/span><\/p>\n

\n

Welcome<\/strong> – Chris Bird and Madan Musuvathi, Microsoft Research<\/p>\n

Keynote<\/strong> – Gail Murphy, University of British Columbia | Slides (opens in new tab)<\/span><\/a><\/p>\n

Chair: Chris Bird, Microsoft Research<\/p>\n

Software Engineering at Microsoft<\/strong> – Peli de Halleaux, K. Rustan M. Leino, Microsoft Research | Slides (opens in new tab)<\/span><\/a><\/p>\n

Chair: Madan Musuvathi, Microsoft Research<\/p>\n

Software Engineering at Microsoft<\/strong> – Chris Bird, Kim Herzig | Slides (opens in new tab)<\/span><\/a>, and Tom Zimmermann, Microsoft Research\u00a0| Slides (opens in new tab)<\/span><\/a> Chair: Andreas Zeller, University of Saarland<\/p>\n

Presentation of 2014 Microsoft Research Awards<\/strong> -Tony Hey<\/p>\n

Group Photograph<\/strong>\u00a0– View (opens in new tab)<\/span><\/a><\/p>\n

SEIF Research<\/strong> – Emery Berger, University of Massachusetts Amherst | Slides (opens in new tab)<\/span><\/a>, Andrew J. Ko, University of Washington | Slides (opens in new tab)<\/span><\/a>, Dan S. Wallach, Rice University | Slides (opens in new tab)<\/span><\/a> Chair: Arno Puder, San Francisco State University<\/p>\n

Collaboration Panel<\/strong> –
\nJudith Bishop, Microsoft Research (Chair), Alex Orso, Georgia Tech | Slides (opens in new tab)<\/span><\/a>, Mark Marron, Microsoft Research | Slides (opens in new tab)<\/span><\/a>, Andreas Zeller, Saarland University, Ben Zorn, Microsoft Research\u00a0| Slides (opens in new tab)<\/span><\/a><\/p>\n

Keynote<\/strong> – Tom Ball, Microsoft Research | Slides (opens in new tab)<\/span><\/a> Chair: Yuriy Brun, University of Massachusetts, Amherst<\/p>\n

Dinner<\/strong><\/p>\n

Photos of the Day<\/strong> – View (opens in new tab)<\/span><\/a><\/p>\n

Talks without slides<\/strong> A live demo of Code Hunt (opens in new tab)<\/span><\/a> with Office Mix (opens in new tab)<\/span><\/a> and TouchDevelop (opens in new tab)<\/span><\/a> with Arduino (opens in new tab)<\/span><\/a><\/p>\n<\/div>\n

Opens in a new tab<\/span><\/p>\n

\"gcm2.jpg\"<\/a>Gail C. Murphy<\/strong> 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.<\/p>\n

 <\/p>\n

\"tomball.jpg\"<\/a>Thomas (Tom) Ball<\/strong> 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.Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Venue: Microsoft Conference Center Building 33 16070 NE 36th Way, Redmond, WA 98052 Previous Workshop: SEIF Day 2012Opens in a new tab 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 […]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2014-07-16","msr_enddate":"2014-07-16","msr_location":"Redmond, WA, US","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":true,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13560],"msr-region":[],"msr-event-type":[197941,197944],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-199951","msr-event","type-msr-event","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-event-type-conferences","msr-event-type-hosted-by-microsoft","msr-locale-en_us"],"msr_about":"\n\n

Venue: <\/strong>Microsoft Conference Center Building 33 16070 NE 36th Way, Redmond, WA 98052<\/p>\n

Previous Workshop: <\/strong>SEIF Day 2012<\/a>Opens in a new tab<\/span><\/p>\n

\"pgtitle_seif2014.jpg\"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.<\/p>\n

 <\/p>\n

 <\/p>\n

 <\/p>\n

Organization<\/h3>\n

Opens in a new tab<\/span><\/p>\n

\n

Welcome<\/strong> – Chris Bird and Madan Musuvathi, Microsoft Research<\/p>\n

Keynote<\/strong> – Gail Murphy, University of British Columbia | Slides (opens in new tab)<\/span><\/a><\/p>\n

Chair: Chris Bird, Microsoft Research<\/p>\n

Software Engineering at Microsoft<\/strong> – Peli de Halleaux, K. Rustan M. Leino, Microsoft Research | Slides (opens in new tab)<\/span><\/a><\/p>\n

Chair: Madan Musuvathi, Microsoft Research<\/p>\n

Software Engineering at Microsoft<\/strong> – Chris Bird, Kim Herzig | Slides (opens in new tab)<\/span><\/a>, and Tom Zimmermann, Microsoft Research\u00a0| Slides (opens in new tab)<\/span><\/a> Chair: Andreas Zeller, University of Saarland<\/p>\n

Presentation of 2014 Microsoft Research Awards<\/strong> -Tony Hey<\/p>\n

Group Photograph<\/strong>\u00a0– View (opens in new tab)<\/span><\/a><\/p>\n

SEIF Research<\/strong> – Emery Berger, University of Massachusetts Amherst | Slides (opens in new tab)<\/span><\/a>, Andrew J. Ko, University of Washington | Slides (opens in new tab)<\/span><\/a>, Dan S. Wallach, Rice University | Slides (opens in new tab)<\/span><\/a> Chair: Arno Puder, San Francisco State University<\/p>\n

Collaboration Panel<\/strong> –
\nJudith Bishop, Microsoft Research (Chair), Alex Orso, Georgia Tech | Slides (opens in new tab)<\/span><\/a>, Mark Marron, Microsoft Research | Slides (opens in new tab)<\/span><\/a>, Andreas Zeller, Saarland University, Ben Zorn, Microsoft Research\u00a0| Slides (opens in new tab)<\/span><\/a><\/p>\n

Keynote<\/strong> – Tom Ball, Microsoft Research | Slides (opens in new tab)<\/span><\/a> Chair: Yuriy Brun, University of Massachusetts, Amherst<\/p>\n

Dinner<\/strong><\/p>\n

Photos of the Day<\/strong> – View (opens in new tab)<\/span><\/a><\/p>\n

Talks without slides<\/strong> A live demo of Code Hunt (opens in new tab)<\/span><\/a> with Office Mix (opens in new tab)<\/span><\/a> and TouchDevelop (opens in new tab)<\/span><\/a> with Arduino (opens in new tab)<\/span><\/a><\/p>\n<\/div>\n

Opens in a new tab<\/span><\/p>\n

\"gcm2.jpg\"<\/a>Gail C. Murphy<\/strong> 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.<\/p>\n

 <\/p>\n

\"tomball.jpg\"<\/a>Thomas (Tom) Ball<\/strong> 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.Opens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"Summary","content":"\"pgtitle_seif2014.jpg\"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.\r\n\r\n \r\n\r\n \r\n\r\n \r\n

Organization<\/h3>\r\n[people]"},{"id":1,"name":"Agenda","content":"
\r\n\r\nWelcome<\/strong> - Chris Bird and Madan Musuvathi, Microsoft Research\r\n\r\nKeynote<\/strong> - Gail Murphy, University of British Columbia | Slides<\/a>\r\n\r\nChair: Chris Bird, Microsoft Research\r\n\r\nSoftware Engineering at Microsoft<\/strong> - Peli de Halleaux, K. Rustan M. Leino, Microsoft Research | Slides<\/a>\r\n\r\nChair: Madan Musuvathi, Microsoft Research\r\n\r\nSoftware Engineering at Microsoft<\/strong> - Chris Bird, Kim Herzig | Slides<\/a>, and Tom Zimmermann, Microsoft Research\u00a0| Slides<\/a> Chair: Andreas Zeller, University of Saarland\r\n\r\nPresentation of 2014 Microsoft Research Awards<\/strong> -Tony Hey\r\n\r\nGroup Photograph<\/strong>\u00a0- View<\/a>\r\n\r\nSEIF Research<\/strong> - Emery Berger, University of Massachusetts Amherst | Slides<\/a>, Andrew J. Ko, University of Washington | Slides<\/a>, Dan S. Wallach, Rice University | Slides<\/a> Chair: Arno Puder, San Francisco State University\r\n\r\nCollaboration Panel<\/strong> -\r\nJudith Bishop, Microsoft Research (Chair), Alex Orso, Georgia Tech | Slides<\/a>, Mark Marron, Microsoft Research | Slides<\/a>, Andreas Zeller, Saarland University, Ben Zorn, Microsoft Research\u00a0| Slides<\/a>\r\n\r\nKeynote<\/strong> - Tom Ball, Microsoft Research | Slides<\/a> Chair: Yuriy Brun, University of Massachusetts, Amherst\r\n\r\nDinner<\/strong>\r\n\r\nPhotos of the Day<\/strong> - View<\/a>\r\n\r\nTalks without slides<\/strong> A live demo of Code Hunt<\/a> with Office Mix<\/a> and TouchDevelop<\/a> with Arduino<\/a>\r\n\r\n<\/div>"},{"id":2,"name":"Keynotes","content":"\"gcm2.jpg\"<\/a>Gail C. Murphy<\/strong> 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.\r\n\r\n \r\n\r\n\"tomball.jpg\"<\/a>Thomas (Tom) Ball<\/strong> 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."}],"msr_startdate":"2014-07-16","msr_enddate":"2014-07-16","msr_event_time":"","msr_location":"Redmond, WA, US","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 16, 2014","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"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.       Organization","msr_research_lab":[199562,199565],"related-researchers":[{"type":"user_nicename","value":"cbird","display_name":"Christian Bird","author_link":"Christian Bird<\/a>","is_active":false,"user_id":31346,"last_first":"Bird, Christian","people_section":0,"alias":"cbird"},{"type":"user_nicename","value":"madanm","display_name":"Madan Musuvathi","author_link":"Madan Musuvathi<\/a>","is_active":false,"user_id":32766,"last_first":"Musuvathi, Madan","people_section":0,"alias":"madanm"}],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[144812],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/199951","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/199951\/revisions"}],"predecessor-version":[{"id":1147388,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/199951\/revisions\/1147388"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=199951"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=199951"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=199951"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=199951"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=199951"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=199951"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=199951"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=199951"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=199951"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}