@inproceedings{GomezLondono_ASMT_20, address = {Chicago, IL}, author = {Gomez-Londono, 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} }