{"id":73,"date":"2014-10-28T12:04:27","date_gmt":"2014-10-28T11:04:27","guid":{"rendered":"http:\/\/netys.net\/?page_id=73"},"modified":"2022-05-19T10:54:38","modified_gmt":"2022-05-19T09:54:38","slug":"talk-akash","status":"publish","type":"page","link":"https:\/\/netys.net\/talk-akash\/","title":{"rendered":"Keynote Talk : Concurrency Unit Testing with Coyote (18\/05\/202, 09am-10am UTC+1)"},"content":{"rendered":"\n\n\n
\"Portrait<\/td>\nAkash Lal<\/b>
\nMicrosoft Research<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Watch the talk.<\/a><\/p>\n

ABSTRACT:<\/strong><\/p>\n

Concurrency is fundamental for building scalable software systems. Despite the prevalence of such systems, testing them remains an uncomfortable problem for developers. Concurrency bugs are hard to find, reproduce and fix, and for most part, they get ignored in standard industry practices. Controlled concurrency testing (CCT) techniques aim to offer a solution, where a scheduler explores the space of possible interleavings of a concurrent program looking for bugs. Since the set of possible interleavings is typically very large, these schedulers employ heuristics that prioritize the search to \u201cinteresting\u201d subspaces.<\/p>\n

In this talk, I will describe the evolution of the open-source\u00a0Coyote<\/a>\u00a0tool for testing C# applications. Coyote has been downloaded around a million times, and is used routinely for testing several Azure services. The talk will cover the architecture of the tool, specialized scheduling techniques, such as the use of reinforcement learning to find bugs, and also the experience of using it in production.<\/p>\n

BIOGRAPHY:<\/strong> Akash Lal<\/a>\u00a0is a Senior Principal Researcher at Microsoft Research. He works broadly in the area of programming languages. His interests are in language design, compiler implementation and program analysis targeted towards helping developers deal with the complexity of modern software. At Microsoft, Akash has worked on the\u00a0verification engine<\/a>\u00a0behind Microsoft’s\u00a0Static Driver Verifier<\/a>\u00a0tool that has won multiple best-paper awards. More recently, he has been working on project\u00a0Coyote<\/a>\u00a0for building highly-reliable asynchronous systems. Akash completed his PhD from University of Wisconsin-Madison and jointly received the ACM SIGPLAN Outstanding Doctoral Dissertation Award for his thesis.<\/p>\n","protected":false},"excerpt":{"rendered":"

Akash Lal Microsoft Research Watch the talk. ABSTRACT: Concurrency is fundamental for building scalable software systems. Despite the prevalence of such systems, testing them remains an uncomfortable problem for developers. Concurrency bugs are hard to find, reproduce and fix, and for most part, they get ignored in standard industry practices. Controlled concurrency testing (CCT) techniques […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/pages\/73"}],"collection":[{"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/comments?post=73"}],"version-history":[{"count":25,"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/pages\/73\/revisions"}],"predecessor-version":[{"id":1517,"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/pages\/73\/revisions\/1517"}],"wp:attachment":[{"href":"https:\/\/netys.net\/wp-json\/wp\/v2\/media?parent=73"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}