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
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael OseraGrinnell College
13:00 - 13:20
Talk
HATRA
Will CrichtonStanford University
Link to publication
13:20 - 13:40
Talk
HATRA
Gongming (Gabriel) LuoUniversity of Michigan, Vishnu ReddyUniversity of Michigan, Marcelo AlmeidaUniversity of Michigan, Yingying ZhuUniversity of Michigan, Ke DuUniversity of Michigan, Cyrus OmarUniversity of Michigan
Link to publication Pre-print
13:40 - 14:00
Talk
HATRA
Dominic OrchardUniversity of Kent, UK, Mistral ContrastinFacebook London, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
Link to publication