Concepedia

Andrew W. Keep

AW

5

Publications

104

Citations

5

H-Index

2011

Active since

Affiliations

University of Utah(Current)

Cisco Systems (United States)

Andrew W. Keep is an author at University of Utah specializing in computer science, software analysis, and software engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsComputer EngineeringParallel ProgrammingCompilersSoftware Design

Publications per year

2011–2013

5

Publications

5

Sound and precise malware analysis for android via pushdown reachability and entry-point saturation

Shuying Liang, Andrew W. Keep, Matthew Might et al. · 2013 · 48 citations

Mobile Security, Engineering, Evasion Technique +17

A nanopass framework for commercial compiler development

Andrew W. Keep, R. Kent Dybvig · 2013 · 21 citations

Engineering, Compiler Technology, Computer Architecture +19

A nanopass framework for commercial compiler development

Andrew W. Keep, R. Kent Dybvig · ACM SIGPLAN Notices · 2013 · 13 citations

Engineering, Compiler Technology, Computer Architecture +19

Optimizing closures in O(0) time

Andrew W. Keep, Alex Hearn, R. Kent Dybvig · 2012 · 11 citations

Mathematical Programming, Software Maintenance, Engineering +26

Flow-sensitive type recovery in linear-log time

Michael D. Adams, Andrew W. Keep, Jan Midtgaard et al. · 2011 · 11 citations

Mathematical Programming, Engineering, Compiler Technology +23

Rows per page

1–5 of 5