@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},
}