Relaxed-memory concurrency and verified compilation.

Jaroslav Sevck, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

Browse the full POPL paper archive.