Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
To Goto Where No Statement Has Gone Before
Publication
Mining Program Workflow from Interleaved Traces
Publication
Roles, Stacks, Histories: A Triple for Hoare
Publication
Mining Program Workflow from Interleaved Traces
Publication
Semantics of Concurrent Revisions
Video
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…
Video
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