OSDI '23 - Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent System

OSDI '23 - Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems

Travis Hance, Carnegie Mellon University, Yi Zhou, Carnegie Mellon University, Andrea Lattuada, VMware Research, Reto Achermann, University of British Columbia, Alex Conway, VMware Research, Ryan Stutsman, VMware Research and University of Utah, Gerd Zellweger, VMware Research, Chris Hawblitzel, Microsoft Research, Jon Howell, VMware Research, Bryan Parno, Carnegie Mellon University

We present IronSync, an automated verification framework for concurrent code with shared memory. IronSync scales to complex …

alex andrea automated british british columbia carnegie mellon carnegie mellon university columbia machine mellon modular reasoning research sharding state state machine system systems travis university utah vmware