@inproceedings{mathur2020atomicityche,
 author = {Umang Mathur and Mahesh Viswanathan},
 booktitle = {ASPLOS 2020},
 title = {Atomicity Checking in Linear Time using Vector Clocks},
 url = {https://umangmathur.org/papers/aerodrome-asplos2020.pdf},
 year = {2020}
}