Paul Jeanmaire

I work with Azalea Raad and Viktor Vafeiadis on the formalization of persistence semantics for weak memory.