@inproceedings{mathur2021optimalpredi,
 author = {Umang Mathur and Andreas Pavlogiannis and Mahesh Viswanathan},
 booktitle = {POPL 2021},
 title = {Optimal Prediction of Synchronization-Preserving Races},
 url = {https://umangmathur.org/papers/sync-preserving-race-popl2021.pdf},
 year = {2021}
}