Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran. Formally verified lifting of C-compiled x86-64 binaries. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 934-949, ACM, 2022. [doi]
@inproceedings{VerbeekBFR22, title = {Formally verified lifting of C-compiled x86-64 binaries}, author = {Freek Verbeek and Joshua A. Bockenek and Zhoulai Fu and Binoy Ravindran}, year = {2022}, doi = {10.1145/3519939.3523702}, url = {https://doi.org/10.1145/3519939.3523702}, researchr = {https://researchr.org/publication/VerbeekBFR22}, cites = {0}, citedby = {0}, pages = {934-949}, booktitle = {PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, editor = {Ranjit Jhala and Isil Dillig}, publisher = {ACM}, isbn = {978-1-4503-9265-5}, }