3 papers
cs.PL2026
Complexity Theory of Randomised Testing
Pingshi Yu, Chengsong Tan, Nicolas Wu +1
Randomised testing is a widely-used approach to software validation, yet its theoretical foundations remain thin. In particular, the fundamental question of what it means for a set…
cs.DB2026
Making TransactionIsolation Checking Practical
Jian Zhang, Shuai Mu, Cheng Tan
Checking whether database transactions adhere to isolation levels is a crucial yet challenging problem. We present Boomslang, the first general-purpose checking framework capable o…
cs.AR2024
Formalising CXL Cache Coherence
Chengsong Tan, Alastair F. Donaldson, John Wickerson
We report our experience formally modelling and verifying CXL.cache, the inter-device cache coherence protocol of the Compute Express Link standard. We have used the Isabelle proof…