Programming languages and software engineering
Video
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Checkpointing is the ability to save the state of a running process to stable storage, and later restart, perhaps on a different computer. Transparent checkpointing (or system-level checkpointing) is the ability to checkpoint a (possibly…
Podcast
Hacking the runway with MakeCode with Dr. Thomas Ball and Dr. Teddy Seyed
Computer programming has often been perceived as the exclusive domain of computer scientists and software engineers. But that’s changing, thanks to the work of people like Dr. Thomas Ball, a Partner Researcher in the RiSE…
Publication
RESTler: Stateful REST API Fuzzing
Publication
Intelligent REST API Data Fuzzing
Video
Our intern experience at Microsoft Research Cambridge
Find out what it’s like to be an intern at the Microsoft Research lab in Cambridge, UK. Find out more and apply at: https://aka.ms/MSRCambridgeIntern
Video
Working at Microsoft Research Cambridge
Here at Microsoft Research in Cambridge, we truly aspire to transform the world through deep research. Watch the video to find out more about our culture, ambition and research themes. Find out more at: https://aka.ms/MSRCambridge
Microsoft Research Blog
From blank canvas unfolds a scene: GAN-based model generates and modifies images based on continual linguistic instruction
When people create, it’s not very often they achieve what they’re looking for on the first try. Creating—whether it be a painting, a paper, or a machine learning model—is a process that has a starting…
