VL/HCC 2022
Mon 12 - Fri 16 September 2022 Rome, Italy
Wed 14 Sep 2022 11:00 - 11:30 at Auditorium - Joint session with Diagrams Chair(s): Mark Minas, Atsushi Shimojima

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 Sep

Displayed 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
30m
Talk
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
15m
Talk
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
30m
Talk
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
15m
Talk
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