Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SEIF Program

Microsoft Research Awards

From 2010 to 2014, the Software Engineering Innovation Foundation (SEIF) program encouraged academic research in software engineering technologies, tools, practices, and teaching methods. During this time, Microsoft Research recognized 60 proposals with an award to help support each selected project for one year.

2014 award winners

In 2014, we received more than 100 proposals for research grants in foundational software engineering, application of software engineering to Internet of Things, and infrastructure for cloud-scale software. After a thorough review process within Microsoft Research, we selected 12 projects. The recipients are listed below.

Yuriy Brun

Yuriy Brun
University of Massachusetts, Amherst, United States

 

Project: Augmenting Testing with Performance-Aware Behavioral Models

Michael Butler

Michael Butler

University of Southampton, United Kingdom

 

Project:  Linking Constructive and Analytical Software Verification

Jeffrey Haddad

Jessica Huber

Jeffrey Haddad and Jessica Huber
Purdue University, United States
 

Project: A Microsoft Kinect-based training program to improve balance, mobility, and quality of life in patients with Parkinson's disease 

Scott Hudson

Scott Hudson

Carnegie Mellon University, United States

 

Project: A Spreadsheet Model for End-User Programming with Probabilistic Data

Christoforos Kozyrakis

Christoforos Kozyrakis

Stanford University, United States

 

Project: Resource Efficient Cloud Computing

Walid Maalej

Walid Maalej
University of Hamburg, Germany

 

Project: STIMME: Systematic Analysis of User Reviews and Usage Data for Windows Mobile Apps

Onur Mutlu

Onur Mutlu

Carnegie Mellon University, United States

 

Project: Improving Datacenter Efficiency and Total Cost of Ownership with Differentiated Software Reliability Analysis and Techniques

Thu Nguyen

Thu Nguyen
Rutgers University, United States

 

Project: CoolProvision: Provisioning of Cooling Systems for Datacenters 

Alessandro Orso

Alessandro Orso
Georgia Institute of Technology, United States

 

Project: Teaching Software Engineering To the Masses with TouchDevelop 

Ruzica Piskac

Ruzica Piskac
Yale University, United States

 

Project: Script Synthesis through Examples 

John Stankovic

John Stankovic
University of Virginia, United States

 

Project: Dependency Aware Sharing of the Internet of Things for Integrating Apps in Smart Homes

Reinaldo Tonkoski Wei Sun

Reinaldo Tonkoski and Wei Sun
South Dakota State University, United States

 

Project: Reliable and Resilient Microgrids for Data Centers                     

Top of page 

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. 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. 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. 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

 

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.

2010 award winners

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. 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

 

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.