Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
AirSimDemo
A quick run through on how to setup the AirSim Unreal environment to fly a drone using hardware in the loop simulation.
Comega
Cω is a strongly typed, data oriented programming language that bridges the gap between between semi-structured hierarchical data (XML), relational data (SQL), and the .NET Common Type System (CTS). In Cω, the seemingly different worlds…
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…
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.
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.
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…
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…