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