2 citations · 3 across the 3 of their papers we have counts for
3 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★ 2 cited
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…
cs.DC2023★ 1 cited
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall
Haonan Lu, Shuai Mu, Siddhartha Sen +1
Strictly serializable datastores greatly simplify the development of correct applications by providing strong consistency guarantees. However, existing techniques pay unnecessary c…