Flow Analysis Shuying Liang Weibin Sun Matthew Might Andy Keep David Van Horn University / Carnegie Mellon University / Northeastern University / R. Garner / A. Diwan / McGill University / /
IndustryTerm
actual algorithm / exception catch site / pushdown reachability algorithm / state graph synthesis algorithm / call-site / machinery / polynomial complexity algorithm / fix-point synthesis algorithm / pushdown reachability algorithms / reachability algorithm / abstract garbage collection machinery / pushdown systems / control-reachability algorithm / call site / software robustness / large applications / catch site / server applications / synthesis algorithm / summarization algorithm / throw site / /
OperatingSystem
Android / /
Organization
University of Maryland / Northeastern University / U.S. Government / McGill University / University of Utah / C. Organization / Carnegie Mellon University / Pittsburgh / /
Person
D. Van Horn / S. Lyde / P. Aldous / T. Gilray / Liang Weibin Sun Matthew / / /
Position
single representative / abstract interpreter / garbage collector / correspondent / conservative model for exception handling / representative / programmer / /
Pruning, Pushdown Exception-Flow Analysis Shuying Liang Weibin Sun Matthew Might