Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Sun 15 Nov 2020 09:20 - 09:40 at SPLASH-I - S-2 Chair(s): Yu David Liu, Shigeru Chiba
Syntax errors are generally easy to fix for humans, but not for parsers, in general, and LR parsers, in particular. Traditional `panic mode’ error recovery, though easy to implement and applicable to any grammar, often leads to a cascading chain of errors that drown out the original. More advanced error recovery techniques suffer less from this problem but have seen little practical use because their typical performance was seen as poor, their worst case unbounded, and the repairs they reported arbitrary. In this paper we introduce an algorithm and implementation that addresses these issues. First, we report the complete set of minimum cost repair sequences for a given location, allowing programmers to select the one that best fits their intention. Second, on a corpus of 200,000 real-world syntactically invalid Java programs, we are able to repair 98.38% ± 0.018% of files within a cut-off of 0.5s. Finally, we use the existence of the complete set of minimum cost repair sequences to reduce one of the most frustrating consequences of error reporting: the cascading error problem. Across our corpus, we report 435,823.0 ± 478.0 error locations to the user, while the panic mode algorithm reports 981,628.0 ± 0.0 error locations: in other words, we reduce the cascading error problem by well over half.
Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change
09:00 - 10:20: S-2Research Papers at SPLASH-I +12h Chair(s): Yu David LiuState University of New York (SUNY) Binghamton, Shigeru ChibaThe University of Tokyo | |||
09:00 - 09:20 Talk | Abstracting gradual referencesSCICO Journal-First Research Papers Link to publication DOI Media Attached | ||
09:20 - 09:40 Talk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Research Papers Link to publication DOI Pre-print Media Attached | ||
09:40 - 10:00 Talk | Blame for Null Research Papers Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo Link to publication DOI Pre-print Media Attached | ||
10:00 - 10:20 Talk | Perfect is the Enemy of Good: Best-Effort Program Synthesis Research Papers Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego Link to publication DOI Media Attached |
21:00 - 22:20: S-2Research Papers at SPLASH-I Chair(s): Atsushi IgarashiKyoto University, Japan, Hidehiko MasuharaTokyo Institute of Technology | |||
21:00 - 21:20 Talk | Abstracting gradual referencesSCICO Journal-First Research Papers Link to publication DOI Media Attached | ||
21:20 - 21:40 Talk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Research Papers Link to publication DOI Pre-print Media Attached | ||
21:40 - 22:00 Talk | Blame for Null Research Papers Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo Link to publication DOI Pre-print Media Attached | ||
22:00 - 22:20 Talk | Perfect is the Enemy of Good: Best-Effort Program Synthesis Research Papers Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego Link to publication DOI Media Attached |