Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Event
Microsoft Research @ ICSE 2018
Microsoft is proud to be a silver sponsor of the International Conference on Software Engineering (ICSE) May 27 – June 3 at the Congress center Gothia Towers in Gothenburg, Sweden. We have several researchers attending…
Microsoft Research Blog
Bringing low-resource languages and spoken dialects into play with Semi-Supervised Universal Neural Machine Translation
Machine translation has become a crucial component in the advancing of global communication. Millions of people are using online translation systems and mobile applications to communicate across language barriers. Machine translation has made rapid advances…
Tool
KReMLin
KreMLin is a tool that extracts an F* program to readable C code. If the F* program verifies against a low-level memory model that talks about the stack and the heap; if it is first-order;…
Video
Why Aren’t More Users More Happy With Our VMs?
Programming language Virtual Machines (VM)s are now widely used, from server applications to web browsers. Published benchmarks regularly show that VMs can optimise programs to the same degree as, and often substantially better than, traditional…
Tool
Boogie intermediate verification language
Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers…
Video
PNW PLSE Workshop: Featured Talk: Why Not Both? Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
PNW PLSE Workshop: Welcome and Introductions
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
