Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Differentiable Functional Program Interpreters
Publication
DeepCoder: Learning to Write Programs
Microsoft Research Blog
New Microsoft Research Dissertation Grant provides support to under-represented groups in computing
By Dr. Meredith Ringel Morris, Principal Researcher, Microsoft Research I am pleased to announce that Microsoft Research is funding a new academic program, the Microsoft Research Dissertation Grant. This grant program offers selected doctoral students…
Publication
Translating C# to Branching Symbolic Transducers
Publication
The F# Compiler Technical Overview
Video
Unreal AirSim Setup from scratch
This shows how to add the AirSim plugin to a new C++ Unreal Project, then add content to it. It also shows how to setup the drone manually.
Video
The Rise of the Social Developer Within a Participatory Culture of Software Engineering
“Software developers rely on many different media to communicate, collaborate, and coordinate with others. Recently, social tools have dramatically changed the landscape of software engineering, challenging the old-fashioned stereotype of the solitary and selfish developer.…
