SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 11:20 - 11:40 at OOPSLA/ECOOP - T-3
Tue 17 Nov 2020 23:20 - 23:40 at OOPSLA/ECOOP - T-3

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 paper, we present $\mathtt{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 $\mathtt{QL}$ on a set of microbenchmarks, complex protocols, as well as production cloud services. In our experiments, we found $\mathtt{QL}$ to consistently outperform the state-of-the-art in CCT.

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: T-3OOPSLA at OOPSLA/ECOOP +12h
11:00 - 11:20
Talk
OOPSLA
Ritwika GhoshUIUC, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, sayan mitraUniversity of Illinois at Urbana-Champaign
Pre-print
11:20 - 11:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research India, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIndian Institute of Science, Akash LalMicrosoft Research India
11:40 - 12:00
Talk
OOPSLA
Umar FarooqUniversity of California Riverside, Zhijia ZhaoUC Riverside, Manu SridharanUniversity of California Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Pre-print
12:00 - 12:20
Talk
OOPSLA
Aayan KumarMicrosoft Research India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
23:00 - 00:20: T-3OOPSLA at OOPSLA/ECOOP
23:00 - 23:20
Talk
OOPSLA
Ritwika GhoshUIUC, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, sayan mitraUniversity of Illinois at Urbana-Champaign
Pre-print
23:20 - 23:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research India, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIndian Institute of Science, Akash LalMicrosoft Research India
23:40 - 00:00
Talk
OOPSLA
Umar FarooqUniversity of California Riverside, Zhijia ZhaoUC Riverside, Manu SridharanUniversity of California Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Pre-print
00:00 - 00:20
Talk
OOPSLA
Aayan KumarMicrosoft Research India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research