%AMathur, Umang%AMurali, Adithya%AKrogmeier, Paul%AMadhusudan, P.%AViswanathan, Mahesh%BJournal Name: Proceedings of the ACM on Programming Languages; Journal Volume: 4; Journal Issue: POPL %D2020%I %JJournal Name: Proceedings of the ACM on Programming Languages; Journal Volume: 4; Journal Issue: POPL %K %MOSTI ID: 10196219 %PMedium: X %TDeciding memory safety for single-pass heap-manipulating programs %X %0Journal Article