Andrew W. Keep

11 papers A 2C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Rebuilding racket on chez scheme (experience report).
Proc. ACM Program. Lang.
Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
2014 J jnl
A run-time representation of scheme record types.
J. Funct. Program.
Andrew W. Keep, R. Kent Dybvig
2014 C conf
Pruning, Pushdown Exception-Flow Analysis.
SCAM
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
2014 J jnl
Pruning, Pushdown Exception-Flow Analysis.
CoRR
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
2013 A conf
A nanopass framework for commercial compiler development.
ICFP
Andrew W. Keep, R. Kent Dybvig
2013 J jnl
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation.
CoRR
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
2013 — conf
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation.
SPSM@CCS
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
2012 — conf
A sufficiently smart compiler for procedural records.
Scheme@ICFP
Andrew W. Keep, R. Kent Dybvig
2012 — conf
Optimizing closures in O(0) time.
Scheme@ICFP
Andrew W. Keep, Alex Hearn, R. Kent Dybvig
2011 A conf
Flow-sensitive type recovery in linear-log time.
OOPSLA
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
2008 — conf
Concrete Partial Evaluation in Ruby.
eScience
Andrew W. Keep, Arun Chauhan