RiSE - Research in Software Engineering Group

Get the trial or download of Kodu Game Lab

Kodu Game Lab now available

Try it today from Xbox LIVE

> RiSE - Research in Software Engineering Group

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.

News and Videos

Architecture Behind CAT.NET

Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites

Sebastian Burckhardt - Data Race Detection with CHESS

Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration

RiSE at the International Conference on Software Engineering

see all items...

The Future of Programming Languages at PDC 2008

MSR@PDC podcast at Hanselminutes

BAM, Doloto and AjaxView at PDC 2008

CHESS at PDC 2008

Code Contracts and Pex at PDC 2008

Task Parallel Library at PDC 2008

The future of Unit Testing panel at PDC 2008

The future of Programming Languages panel at PDC 2008

Pex on Channel 9

TPL on Channel 9

Spec# on Channel 9

Research Areas

Testing 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	Static Analysis and Program Verification 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
Empirical Software Engineering And Measurement Understands how different factors (process, tools, resources) impact the quality of our software. more... TDD Study \| Failure Prediction	Human Interactions in Programming 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
Programming Language Design Designs and implements new programming language features, type and runtime systems. more... FCP \| RobustHeap \| Singularity \| Spec# \| TAL \| TPL	Concurrency Studies how to write, analyze, test, and verify shared memory multi-threaded and distributed programs. more... Chalice \| CHESS \| ORCS \| Singularity \| TPL
Theorem Proving and Logical Foundations Researches decidability and computability and builds tools that automatic reason about first-order logic. more... LAI \| L&F \| M3 \| VS3 \| Z3	Modeling and Security Develops abstractions to describe, analyze and synthesize the elements of a software system. more... AsmL \| BAM \| DKAL \| Formula \| M3 \| Merlin
Cloud Computing 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	Performance and Energy-efficiency Builds lightweight, continuous software monitoring and analysis to improve program data reference locality, scalability, and power consumption. more... Daedalus \| Doloto \| NinjaWare \| PPP \| SPEED

Team

RiSE team members come from the following groups...

Contact schulte at microsoft dot com for more information about RiSE.

Non-affiliated, other RiSE...

Reuse in Software Engineering

Testing 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	Static Analysis and Program Verification 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
Empirical Software Engineering And Measurement Understands how different factors (process, tools, resources) impact the quality of our software. more... TDD Study \| Failure Prediction	Human Interactions in Programming 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
Programming Language Design Designs and implements new programming language features, type and runtime systems. more... FCP \| RobustHeap \| Singularity \| Spec# \| TAL \| TPL	Concurrency Studies how to write, analyze, test, and verify shared memory multi-threaded and distributed programs. more... Chalice \| CHESS \| ORCS \| Singularity \| TPL
Theorem Proving and Logical Foundations Researches decidability and computability and builds tools that automatic reason about first-order logic. more... LAI \| L&F \| M3 \| VS3 \| Z3	Modeling and Security Develops abstractions to describe, analyze and synthesize the elements of a software system. more... AsmL \| BAM \| DKAL \| Formula \| M3 \| Merlin
Cloud Computing 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	Performance and Energy-efficiency Builds lightweight, continuous software monitoring and analysis to improve program data reference locality, scalability, and power consumption. more... Daedalus \| Doloto \| NinjaWare \| PPP \| SPEED