What Happens to Software When Proof is Cheap?
Distinguished Lecture, UW Allen School Distinguished Lecture Series 2025/26, Seattle, WA
Talks and presentations
Proofs in the Wild: What’s done today? What’s close? What’s far?
Workshop talk, Proof Scaling meeting, Lighthaven campus, Berkeley CA
N Things I Learned Trying to Do Formal Methods in Industry
Workshop talk, Big Specification Workshop 2024, Isaac Newton Institute, Cambridge, UK
LLMs are Useful for Small Problems
Workshop talk, HCSS 2024, Annapolis, MD
Parsing and Understanding in a Messy World
Research seminar, CSE Colloquium, UC Santa Cruz
How Do We Know Weak Memory Matters?
Workshop talk, Future of Weak Memory Workshop 2024, London, England
Verified Cryptographic Code for Everybody
Research seminar, Strange Loop 2022,
Formal Verification of Production Distributed Protocols
Workshop talk, HCSS 2020, Virtual