Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky

Browse the full SAS paper archive.