vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 2026 Open access

Read full text
Authors: Anatole Lefort, Julian Pritzi, Nicolò Carpentieri, David Schall, Simon Dittrich, Soham Chakraborty, Nicolai Oswald, Pramod Bhatotia
DOI: 10.1145/3779212.3790245
Cited by: 2
References: 48

Abstract

Compute Express Link (CXL) offers byte-addressable, cache-coherent remote memory accesses across multiple hosts. Unfortunately, the CXL specification lacks mechanisms to ensure safe interoperability between heterogeneous host architectures with diverse cache coherence (CC) protocols and memory consistency models (MCMs). This semantic gap poses fundamental challenges and a significant barrier to adopting CXL in modern heterogeneous data centers.

Fields of Study & Subjects

Cloud Computing and Resource Management Parallel Computing and Optimization Techniques Software System Performance and Reliability

Publication details

Journal / source
Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
Publisher
ACM
Pages
2177–2196
Publication date
10 March 2026