Chengsong Tan

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

Collaborative distances:

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

2025

The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs.

Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 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