N Things I Learned Trying to Do Formal Methods in Industry
Workshop talk, Big Specification Workshop 2024, Isaac Newton Institute, Cambridge, UK
Talks and presentations
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