SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Tue 6 Dec 2022 13:50 - 14:10 at Seminar Room LG004 - Talks II Chair(s): Jun Kato, Sam Lau

Tidyparse is a program synthesizer that performs real-time error correction for context free languages. Given both an arbitrary context free grammar (CFG) and an invalid string, the tool lazily generates admissible repairs while the author is typing, ranked by Levenshtein edit distance. Repairs are guaranteed to be complete, grammatically consistent and minimal. Tidyparse is the first system of its kind offering these guarantees in a real-time editor. To accelerate code completion, we design and implement a novel incremental parser-synthesizer that transforms CFGs onto a dynamical system over finite field arithmetic, enabling us to suggest syntax repairs in-between keystrokes. We have released an IDE plugin demonstrating the system described.

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Talks IILIVE at Seminar Room LG004
Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego
13:30
10m
Short-paper
Docable: Towards a Live Learning EnvironmentVirtual
LIVE
Samim Mirhosseini North Carolina State University, Chris Parnin North Carolina State University
13:40
10m
Short-paper
System-Specific Interpreters Make Megasystems FriendlierIn-person
LIVE
Matthew Sotoudeh Stanford University
Link to publication
13:50
20m
Talk
Tidyparse: Real-Time Context Free Error CorrectionIn-person
LIVE
Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada
14:10
20m
Talk
Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction SystemIn-person
LIVE
Yoshiki Ohshima Croquet Corporation, Shizuoka University, Aran Lunzer Croquet Corporation, Vanessa Freudenberg Croquet Corp, Brian Upton , David Smith
14:30
20m
Short-paper
Cascade: a Meta-Language for Change, Cause and EffectVirtual
LIVE
Pre-print