Chengsong Tan

According to our database, Chengsong Tan authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formalising CXL Cache Coherence.

Chengsong Tan, Alastair F. Donaldson, John Wickerson

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2023

POSIX Lexing with Bitcoded Derivatives.

Chengsong Tan, Christian Urban

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023