Thread-local semantics and its efficient sequential abstractions for race-free programs
- Suvam Mukherjee*
- , Oded Padon
- , Sharon Shoham
- , Deepak D’Souza
- , Noam Rinetzky
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5
Scopus
citations