N Things I Learned Trying to Do Formal Methods in Industry
Workshop talk, Big Specification Workshop 2024, Isaac Newton Institute, Cambridge, UK
Workshop talk, Big Specification Workshop 2024, Isaac Newton Institute, Cambridge, UK
Workshop talk, HCSS 2024, Annapolis, MD
Research seminar, CSE Colloquium, UC Santa Cruz
Workshop talk, Future of Weak Memory Workshop 2024, London, England
Research seminar, Strange Loop 2022,