@inproceedings{Barthwal_Norrish_09,
    address          = {York},
    author           = {Barthwal, Aditi and Norrish, Michael},
    booktitle        = {European Symposium on Programming},
    editor           = {{Giuseppe Castagna}},
    keywords         = {mechanisation, parsing, slr},
    month            = mar,
    pages            = {160--174},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1606.pdf},
    publisher        = {Springer},
    title            = {Verified, Executable Parsing},
    year             = {2009}
  }