MPI-SWS

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.

**Verifying Concurrent Graph Algorithms** [PDF]

*Invited talk at the Northern Concurrency Workshop*

January 2017

**DOM: Specification and Client Reasoning** [PDF]

*Asian Symposium on Programming Languages and Systems (APLAS)*

November 2016

**Verifying Concurrent Graph Algorithms** [PDF]

*Asian Symposium on Programming Languages and Systems (APLAS)*

November 2016

**CoLoSL: Why Not Frame All the Way?** [PDF]

*Invited Tutorial Talk at Mathematical Foundations of Programming Semantics (MFPS)*

June 2015

**CoLoSL: Concurrent Local Subjective Logic** [PDF]

*Invited Talk at Dagstuhl Seminar 15191: Compositional Verification Methods for Next-Generation Concurrency*

May 2015

**CoLoSL: Concurrent Local Subjective Logic** [PDF]

*Invited Talk at the Theory Seminar of the University of Birmingham*

April 2015

**CoLoSL: Concurrent Local Subjective Logic** [PDF]

*European Symposium on Programming (ESOP)*

April 2015

**CoLoSL: Concurrent Local Subjective Logic** [PDF]

*Invited talk at University College London*

April 2015

**CoLoSL: Compositional Reasoning At Last!** [PDF]

*Invited talk at the University of York*

March 2015

**CoLoSL: Compositional Reasoning At Last!** [PDF]

*Invited talk at the Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken*

December 2014

**CoLoSL: Compositional Reasoning At Last!** [PDF]

*The Introduction to Verification and Testing Workshop (INVEST)*

November 2014

**Abstract Local Reasoning for Concurrent Libraries: Mind the Gap** [PDF]

*Mathematical Foundations of Programming Semantics (MFPS)*

June 2014

**CoLoSL: Concurrent Local Subjective Logic** [PDF]

*Invited tallk at the York Concurrency Workshop*

April 2014

**Concurrent Tree Update** [PDF]

*Yak Concurrency Workshop, Principles of Programming Languages (POPL)*

January 2013

**A Sip of the Chalice** [PDF]

*Formal Techniques for Java-like Programs (FTfJP)*

July 2011