Tue 6 Dec 2022 16:30 - 17:00 at Seminar Room G145 - Afternoon Session B
Any time we use common string functions like \texttt{split}, \texttt{trim}, or \texttt{slice}, we effectively perform parsing. Yet no one ever bothers to write down grammars for such \emph{ad hoc} parsers. We propose a grammar inference system that allows programmers to get input grammars from unannotated source code ``for free,'' enabling a range of new possibilities, from interactive documentation to grammar-aware semantic change tracking. To this end, we introduce \textsc{Panini}, an intermediate representation with a novel refinement type system that incorporates domain knowledge of ad~hoc parsing.
Tue 6 DecDisplayed time zone: Auckland, Wellington change
Tue 6 Dec
Displayed time zone: Auckland, Wellington change
15:30 - 17:30 | |||
15:30 30mTalk | Modelling the Quantification of Technical DebtIn Person Doctoral Symposium Judith Perera University of Auckland DOI | ||
16:00 30mTalk | Towards Automated Updates of Software DependenciesIn Person Doctoral Symposium Dhanushka Jayasuriya University of Auckland DOI | ||
16:30 30mTalk | Grammar Inference for Ad Hoc ParsersIn Person Doctoral Symposium Michael Schröder TU Wien DOI Pre-print | ||
17:00 30mTalk | Program Synthesis for Artifacts beyond ProgramsIn Person Doctoral Symposium Pankaj Kumar Kalita IIT Kanpur DOI |