@inproceedings{mathur2020thecomplexit,
 author = {Umang Mathur and Andreas Pavlogiannis and Mahesh Viswanathan},
 booktitle = {LICS 2020},
 title = {The Complexity of Data Race Prediction},
 url = {https://umangmathur.org/papers/race-complexity-lics2020.pdf},
 year = {2020}
}