Programming languages and software engineering
Video
A Game Developer’s Perspective On Parallelism
The game console market has gone highly concurrent, and the PC market is heading that way fast as well. The software development side of the game business has been reeling to catch up and deal…
Microsoft Research Blog
Spec#: Producing High-Quality Software
By Rob Knies, Managing Editor, Microsoft Research Modern-day software development is notoriously challenging. Programs have become highly complex. Customer expectations have never been higher. Meeting quality standards is increasingly difficult. Challenging, yes. Difficult, perhaps. But…
Microsoft Research Blog
Microsoft Research’s Dwork Wins 2007 Dijkstra Prize
By Rob Knies, Managing Editor, Microsoft Research Cynthia Dwork, a principal researcher for Microsoft Research Silicon Valley, has been honored as co-winner of the 2007 Edsger W. Dijkstra Prize in Distributed Computing. The award, one…
Microsoft Research Blog
Cardelli Receives 2007 Senior Dahl-Nygaard Prize
By Rob Knies, Managing Editor, Microsoft Research Luca Cardelli, a principal researcher at Microsoft Research Cambridge, has been named winner of the 2007 Senior Dahl-Nygaard Prize, presented annually to a senior researcher with outstanding career…
Project
The Yogi Project
Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with…