@inproceedings{mathur2020decidingmemo,
 author = {Umang Mathur and Adithya Murali and Paul Krogmeier and P. Madhusudan and Mahesh Viswanathan},
 booktitle = {POPL 2020},
 title = {Deciding Memory Safety for Single-Pass Heap-Manipulating Programs},
 url = {https://umangmathur.org/papers/memsafety-popl2020.pdf},
 year = {2020}
}