Relaxed-memory concurrency and verified compilation (2011)

by J Sevcík, V Vafeiadis, F Z Nardelli, S Jagannathan, P Sewell
Venue:In Symposium on Principles of Programming Languages