Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Unreal KiteDemo with AirSim drone simulator plugin
Flying around the awesome Unreal KiteDemo with the AirSim drone simulator.
Unearthing Concurrency Bugs in Cloud-Scale Distributed Systems
Users demand for 24/7 dependability of cloud services. Unfulfilled dependability is costly, yet, there are complex challenges to reach an ideal dependability. Behind cloud computing is a collection of hundreds of complex systems written in…
Safety Net and Springboard
“A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, the Scala programming language unifies concepts from object and module systems. In particular,…
Project Torino
Torino is an inclusive physical programming language for children with vision impairments created by the Human Experience & Design group at Microsoft.