Alex Conway
Alex Conway
Home
Publications
CV
Contact
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
Cite
USENIX
Type
Conference paper
Publication
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)
Related
Layered List Labeling
Adaptive Quotient Filters
IONIA: High-Performance Replication for Modern Disk-based KV Stores
Nearly Optimal List Labeling
Iceberg Hashing: Optimizing Many Hash-Table Criteria at Once
Cite
×