SPLASH 2023 (series) / HATRA 2023 (series) /
HATRA 2023 Program
This is the HATRA 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
11:00 - 12:30 | Formalisms and SynthesisHATRA at Room VI Chair(s): Michael Coblenz University of California, San Diego | ||
11:00 30mTalk | Diagrammatic notations for interactive theorem proving HATRA Link to publication | ||
11:30 30mTalk | Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard ApproachRemote HATRA | ||
12:00 30mTalk | Latte: Lightweight Aliasing Tracking for Java HATRA Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Link to publication |
14:00 - 15:30 | Interactivity and Visualization for ProgrammersHATRA at Room VI Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
14:00 30mTalk | Debugging Trait Errors as Logic Programs HATRA Link to publication | ||
14:30 30mTalk | Totally Live Programming with Hazel (Progress Report) HATRA Cyrus Omar University of Michigan, Andrew Blinn University of Michigan, David Moon University of Michigan Link to publication | ||
15:00 30mTalk | REVIS: An Error Visualization Tool for RustRemote HATRA Ruochen Wang University of California, San Diego, Molly MacLaren University of California, San Diego, Michael Coblenz University of California, San Diego Link to publication |
16:00 - 17:30 | |||
16:00 45mTalk | Goals of the Luau Type System, Two Years OnRemote HATRA Link to publication | ||
16:45 45mMeeting | Discussion HATRA Michael Coblenz University of California, San Diego, Luke Church University of Cambridge | Lund University | Lark Systems, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University |