Microsoft Research Unplugged – Developer edition | STUDIO34

From the creator

Learn how software engineering research accelerates how we develop our services at Microsoft, and how you can use these tools yourself. Our researchers will share how their work is helps improve the correctness of our concurrent systems by making it easier to write unit tests for concurrency code with Project Coyote, detect bugs using stateful REST API fuzzers in Project RESTler, and deploy proof-oriented programming at scale to improve the security of our software stack through Project Everest. Microsoft Build 2021 To learn more about Project Coyote, please visit https://innovation.microsoft.com/en-us/tech-minutes-project-coyote For more on RESTler, visit https://innovation.microsoft.com/en-us/tech-minutes-RESTler-API-Fuzzing For more on Project Everest, please visit https://innovation.microsoft.com/en-us/tech-minutes-project-everest Visit https://innovation.microsoft.com/en-us/developer to discover more about how software engineering research is helping us develop new services, and how developers can get started today.

Published 2021-06-02 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.