Azalea Raad

Researcher
MPI-SWS

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.

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