Person. David Van Horn Associate Professor · University of Maryland · cs.umd.edu/~dvanhorn · 0000-0002-9201-6864 · https://github.com/plum-umd/dvanhorn Papers Pushdown control-flow analysis for free gilray-2016-pushdownPOPL · 2016 PDF · DOI · arXiv · pldb Abstracting abstract machines vanhorn-2010-abstractingICFP · 2010 PDF · DOI · arXiv · pldb Resolving and exploiting the 𝑘-CFA paradox: illuminating functional vs. object-oriented program analysis might-2010-resolvingPLDI · 2010 PDF · DOI · arXiv · pldb