Andrew W. Keep
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SCAM | Pruning, Pushdown Exception-Flow Analysis. | Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn |
| 2013 | CCS | 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 |
| 2013 | ICFP | A nanopass framework for commercial compiler development. | Andrew W. Keep, R. Kent Dybvig |
| 2012 | ICFP | A sufficiently smart compiler for procedural records. | Andrew W. Keep, R. Kent Dybvig |
| 2012 | ICFP | Optimizing closures in O(0) time. | Andrew W. Keep, Alex Hearn, R. Kent Dybvig |
| 2011 | OOPSLA | Flow-sensitive type recovery in linear-log time. | Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |