Andrew W. Keep

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Malware Detection

Pruning Algorithm

Top Venues

Proc. ACM Program. Lang.

Publications

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