2 papers
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.NI2025
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks [Technical Report]
Jinkun Geng, Shuai Mu, Anirudh Sivaraman +1
This paper presents Tiga, a new design for geo-replicated and scalable transactional databases such as Google Spanner. Tiga aims to commit transactions within 1 wide-area roundtrip…