Optimizing Abstract Abstract Machines - Dionna Amalie Glaze; Matthew Might; David Van Horn (CoRR, 2012)

Optimizing abstract abstract machines. - Dionna Amalie Glaze; Nicholas Labich; Matthew Might; David Van Horn (ICFP, 2013)

Concrete Semantics for Pushdown Analysis: The Essence of Summarization - Dionna Amalie Glaze; David Van Horn (CoRR, 2013)

Abstracting abstract control. - Dionna Amalie Glaze; David Van Horn (DLS, 2014)

Pushdown flow analysis with abstract garbage collection. - Dionna Amalie Glaze; Ilya Sergey; Christopher Earl; Matthew Might; David Van Horn (J. Funct. Program., 2014)

Automating Abstract Interpretation of Abstract Machines. - Dionna Amalie Glaze (CoRR, 2015)