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
Publications
2 items
Complexity Theory of Randomised Testing
2026
Cited
0
Formalising CXL Cache Coherence
arXiv.org · 2024
Cited
0
