@inproceedings{Lefort:2026,
author = {Lefort, Anatole and Pritzi, Julian and Carpentieri, Nicolò and Schall, David and Dittrich, Simon and Chakraborty, Soham and Oswald, Nicolai and Bhatotia, Pramod},
booktitle = {Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2},
date = {2026-03-22},
doi = {10.1145/3779212.3790245},
entrysubtype = {Conference},
eventdate = {2026-03-22},
isbn = {9798400723599},
location = {New York, NY, USA},
pages = {2177–2196},
publisher = {Association for Computing Machinery},
series = {ASPLOS '26},
title = {vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures},
venue = {Pittsburgh, PA, USA},
}