Vafeiadis, Viktor Max Planck Society;
Sevcik, J., Vafeiadis, V., Zappa Nardelli, F., Jagannathan, S., & Sewell, P. (2011). Relaxed-Memory Concurrency and Verified Compilation. In POPL’11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 43-54). New York, NY: ACM.