@inproceedings{DBLP:conf/asplos/TanDW25,
author = {Chengsong Tan and
Alastair F. Donaldson and
John Wickerson},
editor = {Lieven Eeckhout and
Georgios Smaragdakis and
Katai Liang and
Adrian Sampson and
Martha A. Kim and
Christopher J. Rossbach},
title = {Formalising {CXL} Cache Coherence},
booktitle = {Proceedings of the 30th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, {ASPLOS} 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025},
pages = {437--450},
publisher = {{ACM}},
year = {2025},
doi = {10.1145/3676641.3715999},
}