News & features
Awards | PLDI 2021 Conference
Ben Zorn awarded SIGPLAN Distinguished Service Award 2021
Ben Zorn was honored with the SIGPLAN Distinguished Service Award 2021 having served the programming language community for many years and in many capacities. He also has mentored many of his work colleagues and visiting students/professors at Microsoft Research, who…
EverParse: Hardening critical attack surfaces with formally proven message parsers
| Tahina Ramananandro, Aseem Rastogi, and Nikhil Swamy
EverParse is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of Project Everest, a collaboration between Microsoft Research labs in Redmond, Washington; India;…
Awards | 3rd Place Student Research Competition CGO 2021 (Graduate)
3rd Place SRC CGO 2021
Compilers
RESTler finds security and reliability bugs through automated fuzzing
Cloud services have become the new critical infrastructure, and cloud expectations have transformed how developers work. The number of cloud services that are business-critical continues to grow every day, with no end in sight. And the era of boxed software…
In the news | MSPoweruser
Microsoft Research announce TileCode, a game creation app that can run on handhelds
Microsoft Research has announced a new project – Microsoft TileCode, which is a game creation app that allows you to design, code, and play video games directly on low-cost Microsoft MakeCode Arcade gaming handhelds, as well as in the web browser.
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 group at Microsoft Research, and…
Rocket-fast embedded TypeScript for MakeCode Arcade
| Michal Moskal
When we began developing Microsoft MakeCode, a computing education platform, it was all about making programming easier, more engaging, and just plain friendlier. After all, if we were going to inspire the next generation of coders, easier entry into the…
HE compilers for Private AI and other game changers with Dr. Olli Saarikivi
Episode 87, August 28, 2019- As computing moves to the cloud, there is an increasing need for privacy in AI. In an ideal world, users would have the ability to compute on encrypted data without sacrificing performance. Enter Dr. Olli…
Researchers work to secure Azure Blockchain smart contracts with formal verification
In its young existence, the tamperproof and distributed ledger technology blockchain has already generated a lot of buzz and is being seen as disruptive, influencing approaches in such diverse areas as financial services, supply chains, and governance. To say its…