Conan Truong

Orcid: 0009-0006-9477-194X

According to our database¹, Conan Truong authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

CXLMC: Model Checking CXL Shared Memory Programs.

[DOI]

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

2025

Towards Verifying Crash Consistency.

[DOI]

Proc. ACM Program. Lang., 2025