Programming languages and software engineering
Group
Central Engineering
The Microsoft Research Redmond Lab’s Central Engineering Team develops software and hardware technologies and components based on Microsoft Research innovations.
Tool
Redux DAG History
Nonlinear History This project is a redux middleware that provides an alternative take on application history. Independent threads of user exploration are tracked as separate “branches” in a state DAG (Directed Acyclic Graph) inspired roughly…
Video
Neural Representations for Program Analysis and Synthesis
Representing a program as a numerical vector (i.e., neural representation) enables handling discrete programs using continuous optimization approaches, and thus opens up new opportunities to tackle many traditional challenging programming language problems. In this talk,…
Video
AirSim ZhangJiaJie Environment
Zhangjiaji National Park, China environment with AirSim plugin to fly simulated drones.
Video
The Four Big Bets (Illustrated via a Journey in Program Synthesis)
Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal satisfaction. He will illustrate this in the context of his research agenda…
Publication
Reducing Lambda Terms with Traversals (preprint)
Event
Hack the Genome: Times Square, NYC 2018
On February 24-25, 2018, Microsoft, LifeNome, Inc., and Sequencing.com will co-host the second Hack the Genome hackathon at Microsoft’s office in Times Square, New York City. This exciting two-day competition will focus on developing apps…
Microsoft Research Blog
Give your dissertation a boost with a grant from Microsoft Research
Need funding to clear a hurdle in the final stages of your dissertation research? Microsoft Research is offering grants of up to US $25,000 to help a select group of doctoral students cross the finish…
Podcast
Code in the Classroom with Dr. Peli de Halleux
Episode 12, February 15th, 2018 – If you’ve ever wondered if you could find the perfect combination of computer scientist… and Macgyver, look no further than Dr. Peli de Halleux, principal Research Software Design Engineer…
