Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Interview with Andrey Breslav, Russian Intern at Microsoft Research
Microsoft Research has a special internship program for Russia and is interested that prospective interns know about the program. In this connection, Microsoft Research researcher Ben Livshits interviewed Russian intern Andrey Breslav in late summer…
Code Generation for the Beehive ISA
Analytics for Software Development
Guesstimate: A Programming Model for Collaborative Distributed Systems
Guesstimate is a programming model for developing collaborative distributed applications. The goal of Guesstimate is to provide a simple, object-oriented model for developing distributed-systems applications. The programming model is exposed as a C# API. The…
Kodu: Teaching Programming Skills for Kids
Kodu provides an end-to-end creative environment for designing, building, and playing your own new games. The core of the Kodu project is the programming user interface. The language is simple and entirely icon-based. The Kodu…
