We gratefully acknowledge support from
the Simons Foundation and member institutions.

Umang Mathur and Adithya Murali are qualified to endorse.

Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

Umang Mathur: Is registered as an author of this paper.
Can endorse for cs.CC, cs.DC, cs.DS, cs.FL, cs.LO, cs.PL, cs.SE. (why?)
Adithya Murali: Is registered as an author of this paper.
Can endorse for cs.AI, cs.FL, cs.LG, cs.LO, cs.PL, cs.SE. (why?)

Paul Krogmeier, P. Madhusudan and Mahesh Viswanathan are not registered as owners of this paper. (why?)