@inproceedings{DBLP:conf/itp/TolmachCA24,
 author = {Andrew Tolmach and
Chris Chhak and
Sean Noble Anderson},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/itp/TolmachCA24.bib},
 booktitle = {15th International Conference on Interactive Theorem Proving, ITP
2024, September 9-14, 2024, Tbilisi, Georgia},
 doi = {10.4230/LIPICS.ITP.2024.36},
 editor = {Yves Bertot and
Temur Kutsia and
Michael Norrish},
 pages = {36:1--36:20},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
 series = {LIPIcs},
 timestamp = {Mon, 02 Sep 2024 16:55:27 +0200},
 title = {Defining and Preserving More C Behaviors: Verified Compilation Using
a Concrete Memory Model},
 url = {https://doi.org/10.4230/LIPIcs.ITP.2024.36},
 volume = {309},
 year = {2024}
}