@inproceedings{tunc2023optimalreads,
 author = {Hünkar Can Tunç and Parosh A. Abdulla and Soham Chakraborty and Shankaranarayanan Krishna and Umang Mathur and Andreas Pavlogiannis},
 booktitle = {PLDI 2023},
 title = {Optimal Reads-From Consistency Checking for C11-Style Memory Models},
 url = {https://umangmathur.org/papers/rc20-rf-consistency-pldi23.pdf},
 year = {2023}
}