SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Tue 19 Oct 2021 15:55 - 16:10 at Zurich E - Novel Interfaces and Discussion Chair(s): Jonathan Aldrich

Papers about programming languages involve complex notations, systems, and proofs. Static PDFs offer little support in understanding such concepts. We describe Nota, a framework for academic papers that uses the browser’s interactive capabilities to support comprehension in context. Nota uses hover effects, tooltips, expandable sections, toggle-able explanations, and other interactions to help readers understand a language’s syntax and semantics. We demonstrate the use of Nota by rewriting a PL paper using its primitives, and also by writing this paper in Nota.

Tue 19 Oct

Displayed time zone: Central Time (US & Canada) change

15:40 - 17:00
Novel Interfaces and DiscussionHATRA at Zurich E
Chair(s): Jonathan Aldrich Carnegie Mellon University

First, authors will present two papers, and we will have 10 minutes to discuss them. Then, we will use the remaining 40 minutes for group discussion of promising research directions.

15:40
15m
Talk
Typed Image-based Programming with Structure Editing
HATRA
Jonathan Edwards , Tomas Petricek University of Kent
Link to publication
15:55
15m
Talk
A New Medium for Communicating Research on Programming Languages
HATRA
Will Crichton Stanford University
Pre-print
16:10
10m
Talk
Paper discussion, session 3
HATRA

16:20
40m
Meeting
General discussion
HATRA