Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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.

Foundations of Correctness     

Formal Methods

Ivy, Lean, Z3Symbolic Automata, FORMULA

 Programming Languages for Verification

  Dafny, F*, Koka, P
     
Software Productivity    

Program Synthesis 

  BlinkFill, FlashFill

Debugging and Testing 

  Time 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, Processing in Memory 

 Safe Cyberphysical Systems

  Premonition

Working with Big Data

  Parasail, Tempe, Trill, Uncertainty
     
Education   

CS Education 

  BBC micro:bit, Touch Develop, Code Hunt  

Scholarly publications 

Madoko

 

People

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

In the News

Awards

Source Code

Code Contracts for .NET

https://github.com/microsoft/codecontracts
Touch Develop https://github.com/microsoft/touchdevelop
Automate graph layout https://github.com/microsoft/automatic-graph-layout
Lean interactive theorem prover https://github.com/leanprover/lean
Z3 automated theorem prover https://github.com/z3prover/z3
Symbolic automata https://github.com/AutomataDotNet/Automata
Boogie intermediate verification language https://github.com/boogie-org/boogie
P asynchronous event-driven programming https://github.com/p-org/P
VCC Concurrent C Verifier https://github.com/microsoft/vcc
F* language and verifier https://github.com/FStarLang/FStar/
Dafny verification language http://dafny.codeplex.com/
Zing model checker http://zing.codeplex.com/
CHESS concurrency tool http://chesstool.codeplex.com/

 

For a complete list of open source projects, see http://research.microsoft.com/en-us/projects/opensource/

Try RiSE tools at www.rise4fun.com

Publications

    2016

    2015