SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Thu 21 Oct 2021 16:25 - 16:40 at Zurich G - PLDI 2021 Papers 3 Chair(s): Fredrik Kjolstad

Reproducing production failures is crucial for software reliability. Alas, existing bug reproduction systems do not simultaneously provide properties such as efficiency, effectiveness, and accuracy for production uses. In this work, we argue this is because existing approaches over-prioritize a subset of these properties, which hurts the remaining properties.

We propose Execution Reconstruction (ER), a technique that strikes a good balance between efficiency, effectiveness and accuracy for reproducing production failures. ER uses hardware-assisted control and data tracing to shepherd symbolic execution and reproduce failures. As a key novelty, ER continuously analyzes the constraints generated by symbolic execution to identify constraint solving bottlenecks and steer runtime recording accordingly to reproduce failures.

ER reproduces failures in executions that are more than two orders of magnitude longer than what the state-of-the-art production failure reproduction systems can handle. Unlike any production failure reproduction system we are aware of, ER can reproduce fully replayable executions that can power a variety of debugging and reliabilty use cases. ER incurs on average 0.3% (up to 1.1%) runtime monitoring overhead for a broad range of real-world systems, making itpractical for real-world deployment.

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

15:40 - 17:00
PLDI 2021 Papers 3SIGPLAN Papers at Zurich G
Chair(s): Fredrik Kjolstad Stanford University
15:40
15m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
SIGPLAN Papers
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA
15:55
15m
Talk
IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
SIGPLAN Papers
Auguste Olivry Inria, France, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:10
15m
Talk
Integration Verification Across Software and Hardware for a Simple Embedded System
SIGPLAN Papers
Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
16:25
15m
Talk
Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
SIGPLAN Papers
Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia University of Edinburgh, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan, USA
16:40
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers