A new preprint by Matthew Might, Yannis Smaragdakis, and David Van Horn.
Preprint
Slides from NEPLS
Implementation
Abstract:
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriented (OO) languages. Despite the similarities, the vocabulary and results in the two communities remain largely distinct, with limited [...]