Share this page
Projects
Publications
People
Downloads
RSS

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. Our goal is to advance software engineering by a better understanding of the software development process (more predictable), better languages and tools for describing, analyzing, testing and executing software (more secure, reliable, responsive, resource efficient) and proper foundations.

Research Areas

Drive and monitor program executions to find bugs, using blackbox or whitebox techniques, random or systematic exploration, concrete or symbolic execution, etc. more...
ATG | CHESS | NModel | Pex | PPP | SpecExplorer | Stubs | Traver

Analyzes software without running the program to find defects using techniques such as deductive verification, model checking, abstract interpretation. more...
Boogie | Chalice | CCI | Code Contracts | Dafny | HAVOC | SLAM | Spec# | SPEED | VCC

Understands how different factors (process, tools, resources) impact the quality of our software. more...
TDD Study | Failure Prediction

Studies current developer practices and develops tools to help teams work better together. more...
Dev Tools | Empirical Studies | Distributed Dev | Knowledge Flow | Coordination | Spatial Reps

Designs and implements new programming language features, type and runtime systems. more...
FCP | RobustHeap | Singularity | Spec# | TAL | TPL

Studies how to write, analyze, test, and verify shared memory multi-threaded and distributed programs. more...
Chalice | CHESS | ORCS | Singularity | TPL

Researches decidability and computability and builds tools that automatic reason about first-order logic. more...
LAI | L&F | M3 | VS3 | Z3

Develops abstractions to describe, analyze and synthesize the elements of a software system. more...
AsmL | BAM | DKAL | Formula | M3 | Merlin

Designs new programming models and improves performance + security of web-based distributed systems deployed over a fluctuating set of computing nodes and services. more...
Ajax View | BAM | Doloto | Spectator

Builds lightweight, continuous software monitoring and analysis to improve program data reference locality, scalability, and power consumption. more...
Daedalus | Doloto | NinjaWare | PPP | SPEED

Non-affiliated, other RiSE...