Seminars

View all Seminars  |  Download ICal for this event

Learning-Based Controlled Concurrency Testing

Series: Seminar

Speaker: Suvam Mukherjee

Date/Time: Jun 01 11:00:00

Location: ON-LINE

Faculty Advisor: Deepak D'Souza

Abstract:
Concurrency bugs are notoriously hard to detect and reproduce. 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 "interesting" subspaces. However, current heuristics are typically tuned to specific bug patterns, which limits their effectiveness in practice.

In this work, we present QL, a learning-based CCT framework where the likelihood of an action being selected by the scheduler is influenced by earlier explorations. We leverage the classical Q-learning algorithm to explore the space of possible interleavings, allowing the exploration to adapt to the program under test, unlike previous techniques. We have implemented and evaluated QL on a set of microbenchmarks, complex protocols, as well as production cloud services. In our experiments, we found QL to consistently outperform the state-of-the-art in CCT.

This is joint work with Pantazis Deligiannis (Microsoft Research), Arpita Biswas (Indian Institute of Science) and Akash Lal (Microsoft Research).

Microsoft Teams Meeting Link:

https://teams.microsoft.com/l/meetup-join/19%3ameeting_YjIwMzU5NDItM2Q2ZC00Zjg5LTkzYTYtMDVkODg2M2I0OGYw%40thread.v2/0?context=%7b%22Tid%22%3a%226f15cd97-f6a7-41e3-b2c5-ad4193976476%22%2c%22Oid%22%3a%224e94f9c8-085e-46c8-b31f-468b334d3138%22%7d

Speaker Bio:
Suvam Mukherjee is a postdoctoral researcher at Microsoft Research India (MSRI). His research interests lie in the areas of programming languages, verification and model-checking. At MSRI, he has been working on several projects in Microsoft Coyote, an open-source framework used by several teams in Microsoft Azure to write reliable and efficient cloud services. Prior to joining MSRI, Suvam obtained his PhD from the Indian Institute of Science, where his thesis focused on developing efficient static analyses for multithreaded programs. For a part of his work, he won the Radhia Cousot Young Researcher Best Paper Award at the 24th Static Analysis Symposium 2017, New York City.

Host Faculty: Deepak D'Souza