Better design, implementation, and testing of async systems with Coyote

Software is becoming increasingly more distributed, making asynchronous programming the norm, yet programming languages and tools have been slow to provide the help needed to really address all the complexities that arise when building reliable async software. The Coyote project is a new open-source library from Microsoft Research designed to help developers solve challenging problems with concurrency and non-determinism in their code. Coyote also provides an advanced testing tool capable of quickly and systematically testing your code to automatically identify bugs, including safety and liveness violations. In addition, these bugs can be reproduced using Coyote’s replay capability, making it easy to debug a system. In this webinar, Chris Lovett, Principal Software Engineer at Microsoft Research, will introduce Coyote and demonstrate how it can help developers write correct async code with confidence. To convey this complicated subject in a practical way, this webinar will walk you through Coyote sample code and show you how to test and visualize that code with the powerful Coyote testing tool. Lovett will also discuss how Coyote is being used by Microsoft Azure today. Together, you’ll explore: ■ The causes of complexity in async code, including sources of non-determinism ■ Tackling this complexity using Coyote and its testing tool ■ Coyote’s two programming models—the asynchronous tasks programming model and the more advanced asynchronous actors programming model ■ Sample code in C# 𝗥𝗲𝘀𝗼𝘂𝗿𝗰𝗲 𝗹𝗶𝘀𝘁: ■ Microsoft Coyote (project page) - https://www.microsoft.com/en-us/research/project/coyote/ ■ Coyote: Making it easier for developers to build reliable asynchronous software (blog March 23, 2020) - https://www.microsoft.com/en-us/research/blog/coyote-making-it-easier-for-developers-to-build-reliable-asynchronous-software/ ■ Reinforcing program correctness with reinforcement learning (blog April 14, 2021) - https://www.microsoft.com/en-us/researc