CXLMC: Model Checking CXL Shared Memory Programs.

Thu, 01 Jan 2026 00:00:00 +0100

Simon Guo , Conan Truong , Brian Demsky :
CXLMC: Model Checking CXL Shared Memory Programs. ASPLOS (2) 2026: 546-562