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

Rust is a young programming language designed for systems software development.
It aims to provide safety guarantees like high-level languages and
performance efficiency like low-level languages.
The core design of Rust is a set of strict safety rules enforced by compile-time checking.
To support more low-level controls,
Rust allows programmers to bypass these compiler checks to write unsafe code.

It is important to understand what safety issues exist in real Rust programs
and how Rust safety mechanisms impact programming practices.
We performed the first empirical study of Rust
by close, manual inspection of 850 unsafe code usages and 170 bugs in
five open-source Rust projects,
five widely-used Rust libraries,
two online security databases,
and the Rust standard library.
Our study answers three important questions:
how and why do programmers write unsafe code,
what memory-safety issues real Rust programs have,
and what concurrency bugs Rust programmers make.
Our study reveals interesting real-world Rust program behaviors and new issues Rust programmers make.
Based on our study results, we propose several directions of building Rust bug detectors
and built two static bug detectors, both of which revealed previously unknown bugs.

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

14:20 - 15:40
Validating SMT Solvers via Semantic Fusion
PLDI Research Papers
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
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
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
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