Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
The F# 3.0 Language Specification
Video
9.5 Theses on the Power and Efficacy of Gamification
“Gamification” is: hot, hyped, oversold, misunderstood, unavoidable, a buzzword, a question mark, a quick fix, a huge unfulfilled potential. In the past two years, the notion of infusing digital products and services with game elements…
Publication
Synthesis from incompatible specifications
Microsoft Research Blog
Hopper Event: Inspiring Interest in CS
By Rob Knies, Managing Editor, Microsoft Research Rane Johnson-Stempson recalls vividly the moment last spring when she first encountered Katie Doran. “I had the opportunity to meet Katie in Seattle during the Graduate Cohort Program…
Publication
Deconstructing iterative optimization
Publication