ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 21:20 - 21:40 at SPLASH-I - S-2 Chair(s): Atsushi Igarashi, Hidehiko Masuhara
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
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
09:20 - 09:40
Talk
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
09:40 - 10:00
Talk
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
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
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
21:20 - 21:40
Talk
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
21:40 - 22:00
Talk
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
Research Papers
Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached