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

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, **Alex Conway**, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
July 2023
PDF USENIX
Type
Conference paper
Publication
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)

Related