% Encoding: UTF-8

@Article{Narcissus+ICFP2019,
  author       = {Delaware, Benjamin and Suriyakarn, Sorawit and Pit-Claudel,
                  Clément and Ye, Qianchuan and Chlipala, Adam},
  title        = {Narcissus: Correct-by-construction Derivation of Decoders and
                  Encoders from Binary Formats},
  journal      = {Proceedings of the ACM on Programming Languages},
  year         = 2019,
  volume       = 3,
  number       = {ICFP},
  pages        = {82:1--82:29},
  month        = jul,
  issn         = {2475-1421},
  acmid        = 3341686,
  address      = {New York, NY, USA},
  articleno    = 82,
  issue_date   = {August 2019},
  keywords     = {Deductive Synthesis, Parser Combinators, Program Synthesis,
                  Serialization and Deserialization},
  numpages     = 29,
  publisher    = {Association for Computing Machinery},
  doi          = {10.1145/3341686},
  url          = {https://pit-claudel.fr/clement/papers/narcissus-ICFP19.pdf}
}