Tue 25 Jun 2019 10:40 - 11:00 at 229AB - Bug Finding & Testing II Chair(s): Jens Palsberg

Modern applications include many sources of nondeterminism, e.g.\ due to concurrency, signals, and system calls that interact with the external environment. Finding and reproducing bugs in the presence of this nondeterminism has been the subject of much prior work in three main areas: (1) controlled concurrency-testing, where a custom scheduler replaces the OS scheduler to find subtle bugs; (2) record and replay, where sources of nondeterminism are captured and logged so that a failing execution can be replayed for debugging purposes; and (3) dynamic analysis for the detection of data races. We present a dynamic analysis tool for C++ applications, tsan11rec, which brings these strands of work together by integrating controlled concurrency testing \emph{and} record and replay into the tsan11 framework for C++11 data race detection. Our novel twist on record and replay is a \emph{sparse} approach, where the sources of nondeterminism to record can be configured per application. We show that our approach is effective at finding subtle concurrency bugs in small applications; is competitive in terms of performance with the state-of-the-art record and replay tool rr on larger applications; succeeds (due to our sparse approach) in replaying the I/O-intensive Zandronum and QuakeSpasm video games, which are out of scope for rr; but (due to limitations of our sparse approach) cannot faithfully replay applications where memory layout nondeterminism significantly affects application behaviour.

Tue 25 Jun

pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Bug Finding & Testing II at 229AB
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
pldi-2019-papers10:00 - 10:20
Talk
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Michaël MeraCISPA, Germany, Alexander KampmannCISPA Helmholtz Center for Information Security, Matthias HöscheleCISPA, Germany, Andreas ZellerSaarland University
Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Kihong HeoUniversity of Pennsylvania, USA, Mukund RaghothamanUniversity of Pennsylvania, USA, Xujie SiUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Christopher LidburyImperial College London, Alastair DonaldsonGoogle and Imperial College London