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

Browse the full OSDI paper archive.