Programming languages and software engineering
Tool
Search4Code
Search4Code is a large-scale web query based dataset of code search queries for C# and Java. The Search4Code data is mined from Microsoft Bing’s anonymized search query logs using weak supervision technique.
Video
From player to creator: Designing video games on gaming handhelds with Microsoft TileCode
Today, billions of players around the world have helped propel the video game industry into a multibillion-dollar business. However, most gaming devices aren’t used to create games, a missed opportunity to learn computing fundamentals while…
Webinar
From player to creator: Designing video games on gaming handhelds with Microsoft TileCode webinar
In this webinar, led by Dr. Thomas Ball, Partner Researcher at Microsoft Research, and Stefania Druga, a PhD student at the University of Washington, learn how children and families are using TileCode to create retro…
Tool
REST API Fuzz Testing
This self-hosted service developed for Azure, including its orchestration engine and security tools (including MSR’s RESTler), enables developers to embed security tooling into their CI/CD workflows.
GitHub Publication Publication Publication Publication Publication
Tool
RESTler-Fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
GitHub Publication Publication Publication Publication Publication
Video
Learning-Based Controlled Concurrency Testing at OOPSLA
Suvam Mukherjee talks about our paper on “Learning-Based Controlled Concurrency Testing” at OOPSLA 2020.
Publication