Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation.
POPL - 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2011, Austin, TX, United States.
⟨hal-00907801⟩