I will be giving two talks at OOPSLA which this year is in Auckland, New Zealand!

The first talk is about my work with Dan Frumin, Bas van den Heuvel and Jorge Perez, on a session typed π-calculus obtained through a correspondence with the Logic of Bunched Implication (the core of Separation Logic).

The second talk is about my work with Azadeh Farzan and Derek Dreyer, on bringing compositionality to relational proofs of hypersafety properties.