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

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 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