Talks
Video recordings of conference presentations and invited talks
Amazon's Formal Methods Journey
June 25, 2025
Cedar: a new language for expressive, fast, safe, and analyzable authorization
February 26, 2024
From Verified Compilation to Shor's Algorithm
July 29, 2021
A Verified Optimizer for Quantum Circuits
October 24, 2020
Fuzzing and how (not) to evaluate it
September 24, 2020
Don't Stop ICFP (drummer)
August 5, 2020
This is still PLDI (vocalist)
May 13, 2020
The POPLMark Challenge, 15 Years on (moderator)
January 22, 2020
Coverage Guided, Property Based Testing
September 25, 2019
Build it, Break it, Fix it: Contesting Secure Software Development
June 23, 2020
What is Programming Languages Research?
February 9, 2019
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
November 14, 2018
Build it, Break it, Fix it: Contesting Secure Development
July 22, 2016
What is software security?
January 1, 2015
On-line patching for better security, and other security challenges
July 1, 2013
Kitsune: Efficient, General-purpose Dynamic Software Updating for C
July 1, 2013
Expositor: Scriptable Time-Travel Debugging with First-class Traces
December 1, 2012
Dynamically Enforcing Knowledge-based Security Properties
October 1, 2012