Programming languages and software engineering
Video
AirSimDemo
A quick run through on how to setup the AirSim Unreal environment to fly a drone using hardware in the loop simulation.
Project
Comega
Cω is a research programming language. It is pronounced “c” followed by ” -mg, -mg”. It can be written (and searched for) as Cw or the “Comega language”. Cω is a strongly typed, data oriented…
Video
Flash Fill and FlashExtract
99% of computer users do not know programming and struggle with repetitive tasks. Programming by Examples (PBE) can revolutionize this landscape by allowing end users to create small scripts from input-output examples. A killer application…
Event
CGO 2017 and Microsoft Research
Microsoft Research is excited to be part of the ACM/IEEE International Symposium on Code Generation Optimization (CGO) Austin, TX, on February 4-8, 2017. This event is also co-located with PPoPP, HPCA17, and CC.
Event
HPCA-17 and Microsoft Research
Microsoft Research is a Silver sponsor of the 23rd IEEE Symposium on High Performance Computer Architecture (HPCA) at the Austin Hilton in Austin, TX, February 4-8, 2017.
Project
Program Synthesis
Introduction Program synthesis is the task of automatically discovering an executable piece of code given user intent expressed using various forms of constraints such as input-output examples, demonstrations, natural language, etc. Program synthesis has direct…
Project
Random Interpretation (Random Testing + Abstract Interpretation)
Randomized Algorithms for Formal Verification Powerpoint Slides on Random Interpretation Introduction A sound and complete program analysis is provably hard. We typically pay a price for the hardness of program analysis in terms of having…