@inproceedings{GomezLondono_ASMT_20,
    address          = {Chicago, IL},
    author           = {G\'omez-Londo\~no, Alejandro and {\AA}man Pohjola, Johannes and Syeda, Hira Taqdees and Myreen,
                        Magnus and Tan, Yong Kiam},
    booktitle        = {OOPSLA},
    doi              = {https://doi.org/10.1145/3428272},
    month            = nov,
    pages            = {204:1-29},
    paperurl         = {https://trustworthy.systems/publications/full_text/GomezLondono_ASMT_20.pdf},
    publisher        = {ACM},
    title            = {Do You Have Space for Dessert? {A} Verified Space Cost Semantics for {CakeML} Programs},
    video            = {https://youtu.be/zDA7RrG3G04},
    volume           = {4},
    year             = {2020}
  }