Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems

Download PDF
Open Webpage

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno

Published: 01 Jan 2023, Last Modified: 25 Jan 2025OSDI 2023EveryoneRevisionsBibTeXCC BY-SA 4.0