Talks

I've given a variety of talks at conferences and symposia. If you'd like to invite me to talk at an event about formal verification, my research or computer science in general, please contact me.

Incorrectness Separation Logic

June 2020
Invited Talk Séminaire Vérification at IRIF

Specifying and Verifying Non-Volatile Memory

June 2019
Invited Talk Verification of Distributed Systems (VDS)

Correctness in a Weakly Consistent Setting

December 2018
Keynote Talk Asian Symposium on Programming Languages and Systems (APLAS)

Verifying Concurrent Graph Algorithms

January 2017
Invited Talk Northern Concurrency Workshop

CoLoSL: Why Not Frame All the Way?

June 2015
Invited Talk Mathematical Foundations of Programming Semantics (MFPS) 2015

CoLoSL: Concurrent Local Subjective Logic

May 2015
Invited Talk Dagstuhl Seminar 15191: Compositional Verification Methods for Next-Generation Concurrency

CoLoSL: Concurrent Local Subjective Logic

April 2015
Invited Talk Theory Seminar of the University of Birmingham

CoLoSL: Compositional Reasoning At Last!

April 2015
Invited Talk University College London

CoLoSL: Compositional Reasoning At Last!

March 2015
Invited Talk University of York

CoLoSL: Compositional Reasoning At Last!

December 2014
Invited Talk Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken