Synthesis of Memory Fences via Refinement Propagation.

Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav

Browse the full SAS paper archive.