Tidyparse: Real-Time Context Free Error CorrectionIn-person
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 DecDisplayed 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 10mShort-paper | Docable: Towards a Live Learning EnvironmentVirtual LIVE | ||
13:40 10mShort-paper | System-Specific Interpreters Make Megasystems FriendlierIn-person LIVE Matthew Sotoudeh Stanford University Link to publication | ||
13:50 20mTalk | 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 20mTalk | 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 20mShort-paper | Cascade: a Meta-Language for Change, Cause and EffectVirtual LIVE Riemer van Rozen CWI Pre-print |