Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project
The BBC micro:bit and Microsoft
Try our Block/JavaScript editor! The BBC and partners, including Microsoft, announce the BBC micro:bit – a pocket-sized, codeable computer that allows children to get creative with technology. Nearly 1 million micro:bits were given to every…
Publication
Teach Foundational Language Principles
Project
Robust Distributed System Nucleus (rDSN)
Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed systems. The core idea is a coherent and principled design that distributed systems, tools, and frameworks…
Publication
When and why your code starts to smell bad
Publication