Quentin Ladeveze

I am a PhD student at INRIA Gallium team under the supervision of Luc Maranget and Jean-Marie Madiot.

We're trying to find a generic condition on axiomatic memory models that would imply the DRF-SC guarantee.

You can contact me at : firstname.lastname@inria.fr