Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan 0001
Deciding memory safety for single-pass heap-manipulating programs
POPL, 2020.
@article{POPL-2020-MathurMKMV,
author = "Umang Mathur and Adithya Murali and Paul Krogmeier and P. Madhusudan and Mahesh Viswanathan 0001",
doi = "10.1145/3371103",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Deciding memory safety for single-pass heap-manipulating programs}",
volume = 4,
year = 2020,
}