Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. In Roxana Geambasu, Ed Nightingale, editors, 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. pages 911-929, USENIX Association, 2023. [doi]
@inproceedings{HanceZLACSZHHP23,
title = {Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems},
author = {Travis Hance and Yi Zhou and Andrea Lattuada and Reto Achermann and Alex Conway and Ryan Stutsman and Gerd Zellweger and Chris Hawblitzel and Jon Howell and Bryan Parno},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/hance},
researchr = {https://researchr.org/publication/HanceZLACSZHHP23},
cites = {0},
citedby = {0},
pages = {911-929},
booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023},
editor = {Roxana Geambasu and Ed Nightingale},
publisher = {USENIX Association},
}