Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Previous SEIF Winners

Microsoft Research Awards

Past winners of the Microsoft Research Award for Software Engineering Innovation Foundation (SEIF)   Meet the winners of previous Microsoft Research Awards for the Software Engineering Innovation Foundation (SEIF). These Microsoft Research Awards support academic research in software engineering technologies, tools, practices, and teaching methods. 

2013 award winners

In 2013, we received 141 proposals for research grants in foundational software engineering, NUI for digital inclusion, devices and services, and cloud computing. After a thorough review process within Microsoft Research, we selected 16 projects. This is an increase over 2012, when we selected 10 projects. The 2013 recipients are:

Nilanjan Banerjee

Nilanjan Banerjee
University of Maryland, Baltimore County, United States

 

Project: Wearable Multi-Sensor Gesture Recognition in Assistive Devices for Paralysis Patients

Emery Berger

Emery Berger

University of Massachusetts Amherst, United States

 

Project:  CheckCell: Data Debugging for Spreadsheets

Marcelo d'Amorim

Marcelo d'Amorim
Federal University of Pernambuco (UFPE), Brazil

 

Project: Human-Centric Test Generation

Danny Dig

Danny Dig

Oregon State University, United States

 

Project:  Understanding Parallelism and Automating Refactoring for Readability and Performance

Eelke Folmer

Eelke Folmer

University of Nevada, Reno, United States

 

Project:  ASK— An Assistive Spatial Knowledge Navigator for People Who Are Blind

Gordon Fraser

Guy Brown

Gordon Fraser and Guy Brown

University of Sheffield, United Kingdom

 

Project: Fully Automated Software Testing for Natural User Interfaces

 
Roberto Giacobazzi

Francesco Ranzato

Roberto Giacobazzi and Francesco Ranzato

Università di Verona and University of Padova, Italy

 

Project: Abstract Interpretation of Self-Modifying Code

 
Mark Grechanik

Mark Grechanik

University of Illinois at Chicago, United States

 

Project:  Automatically Synthesizing Integration Tests

Gillian R. Hayes

Gillian R. Hayes

University of California, Irvine, United States

 

Project:  Empowering Interactive Surfaces with Body-Based Interactions to Provide Step-by-Step Guidance to Children with ASD

Abram Hindle

Abram Hindle

University of Alberta, Canada

 

Project:  Green Mining and Mobile App Energy Ratings

Shaun K. Kane Amy Hurst

Shaun K. Kane and Amy Hurst

University of Maryland Baltimore County, United States

 

Project: Wheeltop Interaction: Full-Body Gesture Control for Power Wheelchair Users

Andrew J. Ko

Andrew J. Ko

University of Washington, United States

 

Project:  Mobile/Social Debugging Games for Computing Education

Joanna McGrenere

Joanna McGrenere

University of British Columbia, Canada

 

Project:  Adaptive Touch Targeting for Mobile Devices: Supporting Users Across the Adult Lifespan

Nabor C. Mendonca

Nabor C. Mendonca

Universidade de Fortaleza, Brazil

 

Project:  Cloud Detours: Non-Intrusive Code Transformations to Support Automatic Software Adaptation to the Cloud

Axel Simon

Axel Simon

Technical University Munich, Germany

 

Project:  Deriving Modular Type Inferences that Compute Best Types Using Abstract Interpretation

Dan Wallach

Dan S. Wallach

Rice University, United States

 

Project:  Engineering Integrity and Confidentiality for the STAR-Vote Electronic Voting System

Top of page 

2012 award winners

In 2012, we received more than 100 proposals for research grants in software engineering research related to mobile and cloud computing. After a thorough internal review process, we selected 10 proposals to receive awards for the period June 2012 to May 2013. The 2012 recipients are listed below.

Harald GallThomas FritzHarald Gall and Thomas Fritz
University of Zurich, Switzerland

Project: Collaborative Quality Assessment for Software

Alexey GotsmanAlexey Gotsman
IMDEA Software Institute, Spain

Project: Specifying and Validating Components on Memory Models of Mobile Platforms

Mark MarronMark Marron
IMDEA Software Institute, Spain

Project: MemAlyzer: Finding and Fixing Memory Usage Problems

Emerson Murphy-HillEmerson Murphy-Hill
North Carolina State University, United States

Project: Using Refactoring Tools without Awareness of Refactoring Tools

Mayur NaikMayur Naik
Georgia Institute of Technology, United States

Project: Automated Scalable Testing of Mobile Apps Using Z3

Arno PuderArno Puder
San Francisco State University, United States

Project: Cross-Compiling Android Applications to Windows Phone 7

Zvonimir RakamaricZvonimir Rakamaric
University of Utah, United States

Project: Analysis of Heterogeneous Concurrent Programs

Guenther RuheGuenther Ruhe
University of Calgary, Canada

Project: A Recommendation System for Software Product Managers Using Cloud and Mobile Computing

Zhendong SuZhendong Su
University of California, Davis, United States

Project: Automating End-User Programming on Windows Smartphones

Eli TilevichEli Tilevich
Virginia Tech, United States

Project: Toward Device-Independent Mobile Applications

2011 award winners

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.

Some of the 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.Some of the 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.

 The 2011 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;

Tao Xie

GATE: Game-based Automatic Testing Environment

Hong Kong University of Science and Technology;

North Carolina State University

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

 

2010 award winners

Microsoft External Research, Computer Science, and the Research in Software Engineering Group (RiSE) are pleased to announce the recipients of the 2010 Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF).

Microsoft Research Award winners in Cape Town, South AfricaSome of the 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 2010 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