SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Wed 20 Oct 2021 14:20 - 14:35 at Zurich D - Rust Chair(s): Nadia Polikarpova
Wed 20 Oct 2021 22:20 - 22:35 at Zurich D - Rust - mirror Chair(s): Toby Murray

Type-safe languages improve application safety by eliminating whole classes of vulnerabilities–such as buffer overflows–by construction. However, this safety sometimes comes with a performance cost. As a result, many modern type-safe languages provide escape hatches that allow developers to manually bypass them. The relative value of performance to safety and the degree of performance obtained depends upon the application context, including user goals and the hardware upon which the application is to be executed. Since libraries may be used in many different contexts, library developers cannot make safety-performance trade-off decisions appropriate for all cases. Application developers can tune libraries themselves to increase safety or performance, but this requires extra effort and makes libraries less reusable. To address this problem, we present NADER, a Rust development tool that makes applications safer by automatically transforming unsafe code into equivalent safe code according to developer preferences and application context. In end-to-end system evaluations in a given context, NADER automatically reintroduces numerous library bounds checks, in many cases making application code that uses popular Rust libraries safer with no corresponding loss in performance.

Wed 20 Oct

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

13:50 - 15:10
RustOOPSLA at Zurich D +8h
Chair(s): Nadia Polikarpova University of California at San Diego
13:50
15m
Talk
Translating C to Safer RustVirtual
OOPSLA
Mehmet Emre University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University at Northridge, Ben Hardekopf University of California at Santa Barbara
DOI
14:05
15m
Talk
Modular Specification and Verification of Closures in RustVirtual
OOPSLA
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
DOI
14:20
15m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for RustVirtual
OOPSLA
Natalie Popescu Princeton University, Ziyang Xu Princeton University, Sotiris Apostolakis Google, David I. August Princeton University, Amit Levy Princeton University
DOI
14:35
35m
Live Q&A
Discussion, Questions and Answers
OOPSLA

21:50 - 23:10
Rust - mirrorOOPSLA at Zurich D
Chair(s): Toby Murray University of Melbourne
21:50
15m
Talk
Translating C to Safer RustVirtual
OOPSLA
Mehmet Emre University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University at Northridge, Ben Hardekopf University of California at Santa Barbara
DOI
22:05
15m
Talk
Modular Specification and Verification of Closures in RustVirtual
OOPSLA
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
DOI
22:20
15m
Talk
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for RustVirtual
OOPSLA
Natalie Popescu Princeton University, Ziyang Xu Princeton University, Sotiris Apostolakis Google, David I. August Princeton University, Amit Levy Princeton University
DOI
22:35
35m
Live Q&A
Discussion, Questions and Answers
OOPSLA