Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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,…
Zhangjiaji National Park, China environment with AirSim plugin to fly simulated drones.
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…
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…
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…
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…
This talk discards hand-wavy pop-science metaphors and answers a simple question: from a computer science perspective, how can a quantum computer outperform a classical computer? Attendees will learn the following: Representing computation with basic linear…
The new feature in AirSim allows to simulate camera noise and interference patterns! You can set this up for any camera and any image type using settings.json.
