Proofs in the Wild: What’s done today? What’s close? What’s far?
Workshop talk, Proof Scaling meeting, Lighthaven campus, Berkeley CA
Talks and presentations
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