Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Large Scale Debugging
Judith Bishop is director of Computer Science in External Research at Microsoft Research, Redmond, where she devises strategy and implements programs to create strong links between Microsoft’s research groups and universities globally. She represents Microsoft…
A New Approach to Concurrency and Parallelism
Judith Bishop is director of Computer Science in External Research at Microsoft Research, Redmond, where she devises strategy and implements programs to create strong links between Microsoft’s research groups and universities globally. She represents Microsoft…
F# – Azure
Don Syme discusses why F# is particularly useful when thinking about cloud applications and Windows Azure.
F# – Use at Microsoft Research
An exploration of how F# has been used to help develop key components of numerous Microsoft Research projects.
