Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Network Verification
Networks need to run reliably, efficiently, and without users noticing any problems, even as they grow. Keeping networks tuned this way requires the development of tools that improve the functioning of large-scale datacenter networks. This…
Blending of Physical and Virtual Worlds: From Research to Reality
Breaking down the barrier between the real world and the virtual world is a staple of science fiction, but technology is coming closer to actually blurring the line. At the 2012 Microsoft Research Faculty Summit,…
Microsoft Research Faculty Summit 2012 Highlights
The Microsoft Research Faculty Summit physical event is an intimate gathering of researchers and scientists from around the world. The virtual event makes the Faculty Summit accessible to a much larger group of computer scientists…
Towards a Programming Language Nirvana
Taming effects: A talk, written in early 2008, describes Simon Peyton Jones’ take on why it’s important to control effects in a programming language: PDF. There is also a Wiki talk page for discussion.
