Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
New Directions in Computer Science
Computer science is undergoing a fundamental change. Over the last 40 years the field was concerned with making computers useful. Focus was on programming languages, compilers, operating systems, data structures and algorithms. These are still…
Modular and Verified Automatic Program Repair
F# at Microsoft Research
F# is a succinct, expressive, and efficient functional and object-oriented language for Microsoft .NET that helps you write simple code to solve complex problems. These pages are the historical home of F# at Microsoft Research.…
The F# 3.0 Language Specification
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…
Synthesis from incompatible specifications
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…