Scholar
Chengsong Tan
Google Scholar ID: zKIl_lUAAAAJ
Imperial College London
Formal methods
theorem proving
lexing
memory models
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
7
H-index
1
i10-index
0
Publications
2
Co-authors
1
list available
Contact
No contact links provided.
Publications
2 items
Complexity Theory of Randomised Testing
2026
Cited
0
Formalising CXL Cache Coherence
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
1 total
Co-author 1
