Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 15:00 - 15:20 at PLDI Research Papers live stream - Bug Finding Chair(s): Hans-J. Boehm

Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur performance costs that are acceptable for regular in-house testing, but miss races detectable from the analyzed execution. Predictive analyses detect more data races in an analyzed execution than FastTrack detects, but at significantly higher performance cost.

This paper presents SmartTrack, an algorithm that optimizes predictive race detection analyses, including two analyses from prior work and a new analysis introduced in this paper. SmartTrack incorporates two main optimizations: (1) epoch and ownership optimizations from prior work, applied to predictive analysis for the first time, and (2) novel conflicting critical section optimizations introduced by this paper. Our evaluation shows that SmartTrack achieves performance competitive with FastTrack—a qualitative improvement in the state of the art for data race detection.

Wed 17 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

14:20 - 14:40
Validating SMT Solvers via Semantic Fusion
PLDI Research Papers
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
14:40 - 15:00
Debugging and Detecting Numerical Errors in Computation with Posits
PLDI Research Papers
Sangeeta ChowdharyRutgers University, USA, Jay P. LimRutgers University, USA, Santosh NagarakatteRutgers University, USA
15:00 - 15:20
SmartTrack: Efficient Predictive Race Detection
PLDI Research Papers
Jake RoemerOhio State University, USA, Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA
15:20 - 15:40
Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
PLDI Research Papers
Boqin QinBeijing University of Posts and Telecommunications, Pennsylvania State University, Yilun ChenPurdue University, USA, Zeming YuPennsylvania State University, USA, Linhai SongPennsylvania State University, USA, Yiying ZhangUniversity of California at San Diego, USA