eXtreme Modelling in Practice. - A. Jesse Jiryu Davis; Max Hirschhorn; Judah Schvimer (Proc. VLDB Endow., 2020)

LeaseGuard: Raft Leases Done Right. - A. Jesse Jiryu Davis; Murat Demirbas; Lingzhi Deng (CoRR, 2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink. - Finn Hackett; Evan Wrench; Peter Macko; A. Jesse Jiryu Davis; Yuanhao Wei; Ivan Beschastnikh (CoRR, 2026)