📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

Performant Staged Parser Combinators

Lead Research Organisation: Imperial College London
Department Name: Computing

Abstract

work will initially focus on developing a parser combinator library: a way of constructing parsers
as an embedded domain-specific language, ideally built in a functional programming language. This
work will build on my previously published work in this field [1], which focused on compiling combinators to an efficient machine representation. I plan to formalise this machine and make use of principled meta-programming and compiler techniques to improve performance and enable the analysis and
optimisations of grammars, a feature not seen before in parser combinators.

People

ORCID iD

Jamie Willis (Student)

Publications

10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/R513052/1 30/09/2018 29/09/2023
2899020 Studentship EP/R513052/1 30/09/2019 30/03/2023 Jamie Willis