Programming languages and software engineering
Publication
The F# Language Design RFCs (F# 4.0, 4.1)
Video
Proving Performance Properties of Functional Programs
Static verification of performance properties of programs is an important problem that has attracted a lot of research. However, most existing tools infer best-effort upper bounds and hope that they match users expectations. In this…
Publication
SmartPaste: Learning to Adapt Source Code
Publication
Precise Condition Synthesis for Program Repair
Event
ICSE 2017 and Microsoft Research
The 39th International Conference on Software Engineering (ICSE 2017) will run May 20-28, in Buenos Aires, Argentina. Top minds in software engineering research, practice and education will discuss the most recent innovations, trends, and experiences.
Microsoft Research Blog
P: A programming language designed for asynchrony, fault-tolerance and uncertainty
By Shaz Qadeer, Principal Researcher The complexity of emerging software applications requires new approaches to understanding and then efficiently building, testing and debugging these systems. Today’s software uses cloud resources, is often embedded in devices…
Video
Composition and Inheritance in Declarative Configuration Languages
Configuring large computing installations is a difficult problem — there are many different subsystems involved, all with their own language, and many different people with an interest in overlapping aspects of the overall configuration. Deploying…
