Atomicity refinement for verified compilation (2014)

by S Jagannathan, V Laporte, G Petri, D Pichardie, J Vitek
Venue:ACM Trans. Prog. Lang. Syst