Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.

Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full SEFM paper archive.