@inproceedings{Ho_AKMTN_18,
    address          = {Oxford},
    author           = {Ho, Son and Abrahamsson, Oskar and Kumar, Ramana and Myreen, Magnus and Tan, Yong Kiam and Norrish,
                        Michael},
    booktitle        = {International Joint Conference on Automated Reasoning},
    date             = {2018-7-14},
    doi              = {https://doi.org/10.1007/978-3-319-94205-6\_42},
    editor           = {{Didier Galmiche and Stephan Schulz and Roberto Sebastiani}},
    month            = jul,
    pages            = {646-662},
    paperurl         = {https://trustworthy.systems/publications/full_text/Ho_AKMTN_18.pdf},
    publisher        = {Springer},
    title            = {Proof-Producing Synthesis of {CakeML} with {I}/{O} and Local State from Monadic {HOL} Functions},
    year             = {2018}
  }