Research in Software Engineering (RiSE)

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

We are organized in five working groups spanning Compilers and Runtimes, Empirical Software Engineering, Formal Methods, Program Analysis, and Programming Languages, working on a variety of themes/projects:

Modeling and Design 

  Advanced Graph Layout, DKAL, Formula

Synthesis

 

Flash Fill for Excel, Program synthesisJennisys 

Compilers

 

CCI, TAL

Languages

 

Polymorphism, TouchDevelop

Verification

 

Boogie, Code contracts, Dafny, F*, VCC

Testing 

  Automatic test generation, Moles, Pex

Runtime Reliability

  RobustHeap, ToleRace, Yarra

Performance 

 

SPUR  

Symbolic Methods

  Automata, BEK, Duality, Rex, SymDiff, Z3

Browser/JavaScript

 

IBEX, JSZap, JSMeter, Nozzle/Zozzle, RePriv 

    Concurrency & Parallelism

 

Chalice, CHESS, Cuzz, Revisions, Memory models

Measurement and Prediction

 

Reliability, ProcessEmpirical studies 

User Studies

  Games

 

In the News

Awards

Overviews

Play with RiSE tools at www.rise4fun.com  

Sources

Downloads
Z3: an automated theorem prover Pex: parameterized unit testing
Boogie language/tool for program verification tools Automata: symbolic automata

 

Dafny: a verification-oriented programming language

F*: verification of functional programs

CCI: Common compiler infrastructure

Code contracts
CHESS: systematic concurrency testing Advanced graph layout
VCC: verification of concurrent C programs

People

The RiSE team consists of 30+ passionate researchers and developers.

Publications

    2014