RustViz: Interactively Visualizing Ownership and BorrowingFull paper
Rust is an industrial systems programming language unique in achieving memory safety without the need for a garbage collector. Instead, Rust relies on a unique and sometimes subtle resource ownership and borrowing system. This system can make learning Rust a challenge, even for experienced programmers. Motivated by these challenges, we introduce RustViz, a tool that allows an instructor to generate custom interactive timelines depicting ownership and borrowing events alongside Rust code examples embedded within learning material. These visualizations makes visible the static events, and subsequent state changes, that a Rust programmer must otherwise track entirely mentally. We have used RustViz to build a week-long Rust unit in a large undergraduate programming languages course. We demonstrate that this learning material, and the RustViz visualizations in particular, were valuable to students and led to the development of an accurate mental model of the essentials of ownership and borrowing in Rust.
Wed 14 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | Joint session with DiagramsResearch Papers at Auditorium Chair(s): Mark Minas Universität der Bundeswehr München, Atsushi Shimojima Doshisha University Chair for the VL/HCC papers: Mark Minas Universität der Bundeswehr München. Chair for the Diagrams papers: Atsushi Shimojima Doshisha University | ||
11:00 30mTalk | RustViz: Interactively Visualizing Ownership and BorrowingFull paper Research Papers Marcelo Almeida University of Michigan, Grant Cole University of Michigan, Ke Du University of Michigan, Gongming (Gabriel) Luo University of Michigan, Shulin Pan University of Michigan, Yu Pan University of Michigan, Kai Qiu University of Michigan, Vishnu Reddy University of Michigan, Haochen Zhang University of Michigan, Yingying Zhu University of Michigan, Cyrus Omar University of Michigan DOI | ||
11:30 15mTalk | Examining Experts’ Recommendations of Representational Systems for Problem SolvingShort paper Research Papers Aaron Stockdill University of Cambridge, Gem Stapleton University of Cambridge, Daniel Raggi University of Cambridge, Mateja Jamnik University of Cambridge, Grecia Garcia Garcia University of Sussex, Peter Cheng University of Sussex DOI | ||
11:45 30mTalk | Representational Interpretive Structure: Theory and NotationDiagrams2022 Full Paper Research Papers Peter Cheng University of Sussex, Aaron Stockdill University of Cambridge, Grecia Garcia Garcia University of Sussex, Daniel Raggi University of Cambridge, Mateja Jamnik University of Cambridge DOI | ||
12:15 15mTalk | A Diagram Must Never be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users’ Potential for Normative Agency Diagrams2022 Short Paper Research Papers DOI |