Effective Abstractions for Verification under Relaxed Memory Models.

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

Browse the full VMCAI paper archive.