SPLASH 2020 (series) / HATRA 2020 (series) / Human Aspects of Types and Reasoning Assistants /
The Usability of Ownership
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 NovDisplayed time zone: Central Time (US & Canada) change
Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change
13:00 - 14:20 | |||
13:00 20mTalk | The Usability of Ownership HATRA Will Crichton Stanford University Link to publication | ||
13:20 20mTalk | 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 20mTalk | 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 |