Grants & Projects per year
Personal profile
Research interests
I am an associate professor of Computer Science at Stony Brook University. My main research interests are in distributed systems and multi-core systems. I’m particularly interested in:
- Building fault-tolerant storage and database systems.
- Building tools to ease concurrent programming for developers.
- Verifying correctness of distributed systems and algorithms.
Resources
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Collaborative Research: CISE: Large: Systems Support for Run-Anywhere Serverless
Mu, S. (PI)
10/1/23 → 09/30/28
Project: Research
-
CAREER: Rethinking Replication in Highly Available and Reliable Data Stores
Mu, S. (PI)
05/1/23 → 04/30/28
Project: Research
-
Collaborative Research: CNS Core: Large: Systems and Verifiable Metrics for Sustainable Data
Gandhi, A. (PI), Lee, D. (CoPI), Liu, Z. (CoPI), Mu, S. (CoPI) & Zadok, E. (CoPI)
08/22/22 → 09/30/27
Project: Research
-
Collaborative Research: CNS Core: Small: A New Framework for Building Fail-Slow Fault-Tolerant Distrubuted Systems
Mu, S. (PI)
10/1/21 → 09/30/25
Project: Research
-
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
Zhang, Z., Zhou, T., Jenkins, C., Chowdhury, O. & Mu, S., Oct 12 2025, SOSP 2025 - Proceedings of the 2025 ACM SIGOPS 31st Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 768-785 18 p. (SOSP 2025 - Proceedings of the 2025 ACM SIGOPS 31st Symposium on Operating Systems Principles).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
CausalMesh: A Causal Cache for Stateful Serverless Computing
Zhang, H., Mu, S., Angel, S. & Liu, V., Apr 28 2025, In: SIGMOD Record. 54, 1, p. 48-57 10 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Mako: Speculative Distributed Transactions with Geo-Replication
Shen, W., Cui, Y., Sen, S., Angel, S. & Mu, S., 2025, Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025. USENIX Association, p. 129-152 24 p. (Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
Geng, J., Mu, S., Sivaraman, A. & Prabhakar, B., Oct 12 2025, SOSP 2025 - Proceedings of the 2025 ACM SIGOPS 31st Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 555-571 17 p. (SOSP 2025 - Proceedings of the 2025 ACM SIGOPS 31st Symposium on Operating Systems Principles).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
CausalMesh: A Causal Cache for Stateful Serverless Computing
Zhang, H., Mu, S., Angel, S. & Liu, V., 2024, In: Proceedings of the VLDB Endowment. 17, 13, p. 4599-4613 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Scopus citations