SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Wed 18 Nov 2020 13:00 - 13:20 at SPLASH-IV - Types Chair(s): Peter-Michael Osera

Ownership is the flagship feature of Rust, known to be a learning challenge for any new user. A core usability challenge of ownership in practice is the gap between its definition and its implementation within Rust’s borrow checker. As a sound and incomplete static analysis, Rust users must carefully interpret type errors to distinguish genuinely unsound behavior from limitations of the analyzer. I explore the challenges at each step in this process of interpretation, and suggest a variety of educational and automated interventions that could improve the usability of ownership.

Wed 18 Nov

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

13:00 - 14:20
TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael Osera Grinnell College
13:00
20m
Talk
The Usability of Ownership
HATRA
Will Crichton Stanford University
Link to publication
13:20
20m
Talk
RustViz: Interactively Visualizing Ownership and Borrowing
HATRA
Gongming (Gabriel) Luo University of Michigan, Vishnu Reddy University of Michigan, Marcelo Almeida University of Michigan, Yingying Zhu University of Michigan, Ke Du University of Michigan, Cyrus Omar University of Michigan
Link to publication Pre-print
13:40
20m
Talk
Guiding user annotations for units-of-measure verification
HATRA
Dominic Orchard University of Kent, UK, Mistral Contrastin Facebook London, Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK
Link to publication