Relaxed-memory concurrency and verified compilation (2011)

by V Vafeiadis Sevčík, F Zappa Nardelli, P Sewell, S Jagannathan
Venue:In Proc. of the 38th ACM SIGACT/SIGPLAN Symp. on Principles of Programming Languages (POPL’11