Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Mining Program Workflow from Interleaved Traces
Publication
Semantics of Concurrent Revisions
Vidéo
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…
Vidéo
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…
Publication
BloomFlash: Bloom Filter on Flash-based Storage
Vidéo
F# – Azure
Don Syme discusses why F# is particularly useful when thinking about cloud applications and Windows Azure.
Vidéo
F# – A Tutorial
Don Syme presents a tutorial that walks the viewer through examples of using F#
Vidéo
F# – Use at Microsoft Research
An exploration of how F# has been used to help develop key components of numerous Microsoft Research projects.
