Relaxed-memory concurrency and verified compilation. POPL (2011)

by J Sevcík, V Vafeiadis, F Z Nardelli, S Jagannathan, P Sewell