"au:"Shuai Mu"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Shuai Mu"" — arXiv2 Search

Showing 1–8 of 8 results

/ Date/ Name

Aug 21, 2025CausalMesh: A Formally Verified Causal Cache for Stateful Serverless Computing Apr 22, 2026Making TransactionIsolation Checking Practical May 18, 2018Improving Image Captioning with Conditional Generative Adversarial Nets May 23, 2023NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall Dec 19, 2019Detecting Incorrect Behavior of Cloud Databases as an Outsider Jul 22, 2023Verifiable Sustainability in Data Centers May 26, 2019On the parallels between Paxos and Raft, and how to port optimizations Sep 6, 2025Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks [Technical Report]