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.
|
Drive and monitor program executions to find bugs, using blackbox or whitebox techniques, random or systematic exploration, concrete or symbolic execution, etc.
more... |
Analyzes software without running the program to find defects using techniques such as
deductive verification, model checking, abstract interpretation. more... |
|
Understands how different factors (process, tools, resources) impact the quality of our software.
more... |
Studies current developer practices and develops tools to help
teams work better together.
more... |
|
Designs and implements new programming language features, type and runtime systems. more... |
Studies how to write, analyze, test, and verify shared memory
multi-threaded and distributed programs. more... |
|
Researches decidability and computability and builds tools that automatic reason about first-order logic. more... |
Develops abstractions to describe, analyze and synthesize the elements of a software system. more... |
|
Designs new programming models and improves performance, energy-efficiency + security of web-based distributed systems deployed over a fluctuating set of computing nodes and services. more...
|
Builds lightweight, continuous software monitoring and analysis to improve program data reference locality, scalability, and power consumption.
more... |
|
Contact schulte at microsoft dot com for more information about RiSE. |
|
