45 citations · 127 across the 13 of their papers we have counts for
1 paper · 1 filter
Matthew Might, Yannis Smaragdakis, David Van Horn
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 language…