March 15, 2023

Huge shoutout to Christopher, Nour, and Roopsha on their recently accepted OOPSLA paper: Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions