Grove: a Separation-Logic Library for Verifying Distributed Systems-Reference-Cited by-同舟云学术

Grove: a Separation-Logic Library for Verifying Distributed Systems

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Sharma Upamanyu¹^ORCID,Jung Ralf²^ORCID,Tassarotti Joseph³^ORCID,Kaashoek Frans⁴^ORCID,Zeldovich Nickolai⁴^ORCID

Affiliation:

1. CSAIL, MIT, Cambridge, MA, USA

2. ETH Zurich, Zurich, Switzerland

3. New York University, New York City, NY, USA

4. CSAIL, MIT, Cambridge, MA, United States of America

Funder

NSF

Publisher

ACM

Reference42 articles.

1. Masoud Saeida Ardekani and Douglas B. Terry . A self-configurable geo-replicated cloud storage system . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , Broomfield, CO , October 2014 . Masoud Saeida Ardekani and Douglas B. Terry. A self-configurable geo-replicated cloud storage system. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, October 2014.

2. Jason Baker , Chris Bond , James C. Corbett , JJ Furman , Andrey Khorlin , James Larson , Jean-Michel Leon , Yawei Li , Alexander Lloyd , and Vadim Yushprakh . Megastore : Providing scalable, highly available storage for interactive services . In Proceedings of the 5th Conference on Innovative Data Systems Research (CIDR) , pages 223 -- 234 , Asilomar, CA , January 2011 . Jason Baker, Chris Bond, James C. Corbett, JJ Furman, Andrey Khorlin, James Larson, Jean-Michel Leon, Yawei Li, Alexander Lloyd, and Vadim Yushprakh. Megastore: Providing scalable, highly available storage for interactive services. In Proceedings of the 5th Conference on Innovative Data Systems Research (CIDR), pages 223--234, Asilomar, CA, January 2011.

3. Mike Burrows . The Chubby lock service for loosely-coupled distributed systems . In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI) , Seattle, WA , November 2006 . Mike Burrows. The Chubby lock service for loosely-coupled distributed systems. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Seattle, WA, November 2006.

4. Help!

5. Verifying concurrent, crash-safe systems with Perennial