Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
RePriv: Re-Envisioning In-Browser Privacy
Video
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…
Publication
Code Generation for the Beehive ISA
Publication
Analytics for Software Development
Tool
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…