Paul Jeanmaire

I am working with Azalea Raad and Viktor Vafeiadis on the formalisation of persistence semantics for weak memory.