Lazy sequentialization for TSO and PSO via shared memory abstractions.

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full FMCAD paper archive.