Research in Software Engineering (RiSE)

rise_trans_w96pxcoordinates Microsoft’s Research in Software Engineering in Redmond, USA. Our mission is to advance the state of the art in Software Engineering and to bring those advances to Microsoft’s businesses.

 Visit our career page.


CS EducationMicrosoft MakeCode, BBC micro:bit, Touch Develop, Code Hunt 
Scholarly publicationsMadoko

 Foundations of Correctness

Formal Methods – Ivy, Lean, Z3Symbolic Automata, FORMULA
Programming LanguagesDafny, F*, Koka, P

 Software Productivity

Program SynthesisBlinkFill, FlashFill
Debugging and TestingTime travel debugging, automated test generation
Program Analysis – Corral, Duality, Angelic Verification, SymDiff
Empirical Software Engineering – Software Reliability, Software Process, Empirical Studies

 Systems at Scale

Cloud Correctness – Network Verification
Cloud Efficiency – Retro
Safe Cyberphysical SystemsPremonition
Working with Big DataParade, Tempe, Trill, Uncertainty

In the News

Microsoft Research recieved the 2016 IEEE Technical Council on Software Engineering (TCSE) Distinguished Synergy Award “presented annually to a team for outstanding and/or sustained contributions that stand as a model in the software engineering community of effective partnership between industry and universities.”

CRA Women Celebrates Women’s History Month features interview with Kathryn McKinley

Project Premonition aims to use mosquitoes, drones, cloud computing to prevent disease outbreaks  [video]  [article]



Skolem Award – CADE-21 (2007): Leonardo de Moura and Nikolaj BjørnerEfficient E-Matching for SMT Solvers


Mining Software Repositories’ 2016 Most Influential Paper Award for Mining Email Social Networks by Christian Bird, Alex Gourley, Prem Devanbu, Michael Gertz, Anand Swaminathan

ICSE 2016 Distinguished Paper Award for Guiding Dynamic Symbolic Execution Toward Unverified Program Executions by Maria Christakis and co-authors

Maria Christakis‘s Ph.D. thesis was nominated by ETH for the Gesellschaft für Informatik prize for best dissertation


ESEC/FSE 2015 Distinguished Paper, How Practitioners Perceive the Relevance of Software Engineering Research, David Lo, Nachi Nagappan, Thomas Zimmermann

SIGPLAN Research Highlight (May 2015), Parallelizing dynamic programming through rank convergence, Saeed Maleki, Madanlal MusuvathiTodd Mytkowicz

Nachi Nagappan named a 2015 ACM Distinguished Scientist

The 2015 ACM Programming Languages Software Award goes to Christoph Wintersteiger, Leonardo de Moura, and Nikolaj Bjorner of MSR for their foundational work on the Z3 automated theorem prover, which powers several generations of testing, analysis and verification tools.

Guiness Book of World Records: The most people trained in computer programming in 8 hours was achieved at the 2015 Microsoft Imagine Coding Camp, an event organized by Microsoft Corporation in Redmond, WA, USA on 30 July 2015 (using

SIGPLAN PLDI 2015 Distinguished Artifact Award, FlashRelate: extracting relational data from semi-structured spreadsheets using examples, Daniel W. Barowy, Sumit Gulwani, Ted Hart, and Benjamin Zorn


2014 CAV Award “For the development of partial-order reduction algorithms for efficient state-space exploration of concurrent systems”, Patrice Godefroid, Doron Peled, Antti Valmari, Pierre Wolper

ICSE 2014 Most Influential Paper Award, Mining Version Histories to Guide Software Changes, Thomas Zimmermann, Peter Weissgerber, Stephan Diehl and Andreas Zeller

“Uncertain: A First-Order Type for Uncertain Data,” J. Bornholt, T. Mytkowicz, and K.S. McKinley, ASPLOS 2014, selected for ACM SIGPLAN Research Highlights, November 2014.

FMCAD Best Paper Award. Akash Lal and Shaz Qadeer, A Program Transformation for Faster Goal-Directed Search, in Formal Methods in Computer-Aided Design (FMCAD), FMCAD, October 2014.

2014 ACM SIGMETRICS Test of Time Award, for Kathryn McKinley’s paper “Myths and Realities: The Performance Impact of Garbage Collection” co-authored with Steve Blackburn and Perry Cheng which appeared originally in SIGMETRICS June 2004.

FSE 2014 Distinguished Paper: Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton, Learning Natural Coding Conventions

FSE 2014 Distinguished Paper: Akask Lal, Shaz Qadeer, Powering the Static Driver Verifier using Corral

Source Code


Connect on Facebook

Past Projects

Asml – Modeling language based on abstract state machines

BAM – Cloud Computing with Models

Cω – The project that started Linq

Daedalus – Improving Data Locality and Scalability

NModel – Model-based Software Testing and Analysis Tool with C#

Ninjaware – Low Overhead Software Monitoring and Analysis

PPP– Preferential Path Profiling

SingularityOS and tools for building dependable systems

SLAM – Software model checking of device drivers

SpecExplorer – Tool for model-based specification and conformance testing

TPL – Task Parallel Library in .NET 4.0

Use RiSE Tools or try a Coding Duel