Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang. Compositional Verification of Concurrent C Programs with Search Structure Templates. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 60-74, ACM, 2024. [doi]
@inproceedings{NguyenBMW24,
title = {Compositional Verification of Concurrent C Programs with Search Structure Templates},
author = {Duc-Than Nguyen and Lennart Beringer and William Mansky and Shengyi Wang},
year = {2024},
doi = {10.1145/3636501.3636940},
url = {https://doi.org/10.1145/3636501.3636940},
researchr = {https://researchr.org/publication/NguyenBMW24},
cites = {0},
citedby = {0},
pages = {60-74},
booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
editor = {Amin Timany and Dmitriy Traytel and Brigitte Pientka and Sandrine Blazy},
publisher = {ACM},
}