RustViz: Interactively Visualizing Ownership and Borrowing
Rust is a systems programming language that guarantees memory safety without the need for a garbage collector by statically tracking ownership and borrowing events. The associated rules are subtle and unique among industry programming languages, which can make learning Rust more challenging. Motivated by the challenges that Rust learners face, we are developing RustViz, a tool that allows teachers to generate an interactive timeline depicting ownership and borrow events for each variable in a Rust code example. These visualizations are intended to help Rust learners develop an understanding of ownership and borrowing by example. This paper introduces RustViz by example, shows how teachers can use it to generate visualizations, describes learning goals, and proposes a study designed to evaluate RustViz based on these learning goals.
Wed 18 NovDisplayed 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 |