@inproceedings{mathur2019decidablever,
 author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan},
 booktitle = {POPL 2019},
 title = {Decidable Verification of Uninterpreted Programs},
 url = {https://umangmathur.org/papers/coherence-popl2019.pdf},
 year = {2019}
}