Towards Verifying Crash Consistency. - Keonho Lee; Conan Truong; Brian Demsky (Proc. ACM Program. Lang., 2025)

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