Programming languages and software engineering
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…
Publication
Active learning for software engineering
Microsoft Research Blog
The inner magic behind the Z3 theorem prover
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in…
