SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 11:20 - 11:40 at SPLASH-I - T-3 Chair(s): Burcu Kulahcioglu Ozkan, Olivier Tardieu
Tue 17 Nov 2020 23:20 - 23:40 at SPLASH-I - T-3 Chair(s): Chengyu Zhang, Ting Cao

Concurrency bugs are notoriously hard to detect and reproduce. Controlled concurrency testing (CCT) techniques aim to offer a solution, where a \textit{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 \texttt{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 \texttt{QL} on a set of microbenchmarks, complex protocols, as well as production cloud services. In our experiments, we found \texttt{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 SPLASH-I +12h
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Olivier TardieuIBM Research
11:00 - 11:20
Talk
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
23:00 - 00:20: T-3OOPSLA at SPLASH-I
Chair(s): Chengyu ZhangEast China Normal University, Ting CaoMicrosoft Research
23:00 - 23:20
Talk
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached