Microsoft Research presents the Software Engineering Innovation Foundation (SEIF) Awards to support academic research in software engineering technologies, tools, practices, and teaching methods. Projects can be related to any of the core areas of interest in software engineering research and education. Read more.
SEIF 2011 Winners
Congratulations to the winners of SEIF 2011 awards!
Some of the SEIF 2011 Award recipients at the Microsoft Research Software Summit in Paris, April 14, 2011. Pictured from left to right: Wolfram Schulte, manager of Research in Software Engineering, Microsoft Research; Bashar Nuseibeh, The Open University (United Kingdom) and Lero (Ireland); Filippo Lanubile, University of Bari (Italy); Judith Bishop, director of Computer Science, Microsoft Research Connections; Néstor Cataño, The University of Madeira (Portugal); Tony Hey, corporate vice president, Microsoft Research Connections.
We received 88 proposals for research grants in seminal software engineering areas, innovative software engineering education methods, and improvements in the software development process. After a thorough internal review process, 10 proposals were selected to receive awards for the period June 2011 to May 2012. The SEIF Award recipients are listed below.
|
Name |
Title |
Institution |
|
Bashar Nuseibeh |
Software Engineering for Usable Mobile Privacy Management |
The Open University (United Kingdom) and Lero (Ireland) |
|
Jan Vitek |
SHARD: Software Hardening for JavaScript |
Purdue University, United States |
|
Andre van der Hoek |
Calico: Software Design Sketching with a Cloud-based Software Whiteboard |
University of California, Irvine, United States |
|
Brad Myers |
Better Tools for Authoring Interactive Behaviors |
Carnegie Mellon University, United States |
|
Sunghun Kim |
GATE: Game-based Automatic Testing Environment |
Hong Kong University of Science and Technology |
|
Danny Dig |
Interactive Refactoring for Parallelism |
University of Illinois at Urbana-Champaign, United States |
|
Filippo Lanubile |
Augmenting Social Awareness in a Collaborative Development Environment |
University of Bari, Italy |
|
Nestor Catano |
Extending Boogie to Support the Analysis of B Machines |
The University of Madeira, Portugal |
|
Miryung Kim |
RefFinder: An Extensible Framework for Refactoring Reconstruction |
The University of Texas at Austin, United States |
|
Romain Robbes |
Building and Mining a Repository of Developer Interactions for Visual Studio |
University of Chile, Chile |
SEIF 2010 Winners
Microsoft External Research, Computer Science, and the Research in Software Engineering Group (RiSE) are pleased to announce the recipients of the Microsoft Research Software Engineering Innovation Foundation (SEIF) Awards 2010.
Some of the SEIF awardees at the New Horizons Demo Event hosted by Microsoft Research at the 32nd International Conference on Software Engineering in Cape Town on May 5, 2010. From left to right: Judith Bishop, director of Computer Science, Microsoft Research; Jane Prey, director of Gender, Microsoft Research; Yuriy Brun and Reid Holmes (representing David Notkin); Alessandro Orso; Nachi Nagappan, Microsoft Research; Gail Murphy; Stefano Tonetta; Wolfram Schulte, Research Area Manager, RiSE Group; Karin Breitman and son; Guido de Caso (with Uchitel); and Sebastien Uchitel.
We received 85 proposals for research grants in seminal software engineering areas, innovative software engineering education methods, and improvements in the software development process. After a thorough internal review process, 12 proposals were selected to receive awards for the period June 2010 to May 2011. The SEIF Award recipients are listed below.
| Name | Title | Institution |
|
Diego Garbervetsky |
Resource Usage Contracts for .NET |
Universidad de Buenos Aires, Argentina |
|
Sebastian Uchitel |
Strengthening Code Contracts with Typestates |
Universidad de Buenos Aires, Argentina |
|
Karin Breitman |
Cloud‐Based Software Engineering: Weaving Elasticity into Early Design |
PUC do Rio de Janeiro, Brazil |
|
Gail Murphy |
Automatically Finding Help for Framework Usage |
University of British Columbia, Vancouver, Canada |
|
Sunghun Kim |
Detecting and Fixing Bugs as they are Created in Visual Studio |
The Hong Kong University of Science and Technology, China |
|
Pankaj Jalote |
An Integrated Approach for Software Engineering Projects using Visual Studio Platform |
IIIT-Delhi, India |
|
Stefano Tonetta |
Formal Methods for Embedded Systems Requirements |
FBK-irst, Trento, Italy |
|
Baris Aktemur |
A Type System with Subtyping for Program Generation Using Quasiquotations |
Ozyegin University Istanbul, Turkey |
|
Daniel Kroening |
Testing Embedded Software with the Z3 SMT Solver |
Oxford University, United Kingdom |
|
Kendra Cooper |
SimSys: An Engaging Game for Software Engineering Education |
The University of Texas at Dallas, United States |
|
David Notkin |
Speculation and Continuous Validation for Software Development |
University of Washington, Seattle, United States |
|
Alessandro Orso |
BERT – BEhavioral Regression Testing |
Georgia Institute of Technology, Atlanta, United States |
