Concrete Partial Evaluation in Ruby. - Andrew W. Keep; Arun Chauhan 001 (eScience, 2008)

Flow-sensitive type recovery in linear-log time. - Michael D. Adams 001; Andrew W. Keep; Jan Midtgaard; Matthew Might; Arun Chauhan 001; R. Kent Dybvig (OOPSLA, 2011)

A sufficiently smart compiler for procedural records. - Andrew W. Keep; R. Kent Dybvig (Scheme@ICFP, 2012)

Optimizing closures in O(0) time. - Andrew W. Keep; Alex Hearn; R. Kent Dybvig (Scheme@ICFP, 2012)

Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. - Shuying Liang; Andrew W. Keep; Matthew Might; Steven Lyde; Thomas Gilray; Petey Aldous; David Van Horn (SPSM@CCS, 2013)

A nanopass framework for commercial compiler development. - Andrew W. Keep; R. Kent Dybvig (ICFP, 2013)

Pruning, Pushdown Exception-Flow Analysis. - Shuying Liang; Weibin Sun; Matthew Might; Andrew W. Keep; David Van Horn (SCAM, 2014)

A run-time representation of scheme record types. - Andrew W. Keep; R. Kent Dybvig (J. Funct. Program., 2014)

Rebuilding racket on chez scheme (experience report). - Matthew Flatt; Caner Derici; R. Kent Dybvig; Andrew W. Keep; Gustavo E. Massaccesi; Sarah Spall; Sam Tobin-Hochstadt; Jon Zeppieri (Proc. ACM Program. Lang., 2019)