A. Jesse Jiryu Davis • 4/25/2026

Antithesis BugBash Conference 2026

This article reports on the Antithesis BugBash Conference 2026, highlighting key talks and tutorials. It covers hands-on experience with Antithesis's bug-finding tool, including log exploration and time-travel debugging. Talks include integrating formal verification into AI-assisted development workflows using Dafny and LemmaScript, and a discussion on test coverage in distributed systems by Rohan Padhye, focusing on state abstractions and symmetry reduction. The content is directly relevant to software engineering, verification, and distributed systems.

0 comments

#Python #distributed systems #Antithesis