J. Ian Johnson

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Garbage Collection

Top Venues

J. Funct. Program.

Publications

J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
Pushdown flow analysis with abstract garbage collection. J. Funct. Program. 24 (2-3) (2014)
J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
Pushdown flow analysis with abstract garbage collection. CoRR (2014)
J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
Optimizing abstract abstract machines. ICFP (2013)
J. Ian Johnson, David Van Horn
Concrete Semantics for Pushdown Analysis: The Essence of Summarization CoRR (2013)
J. Ian Johnson, Matthew Might, David Van Horn
Optimizing Abstract Abstract Machines CoRR (2012)