36 citations · 37 across the 3 of their papers we have counts for
3 papers
Introspective Pushdown Analysis of Higher-Order Programs
Christopher Earl, Ilya Sergey, Matthew Might +1
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each me…
Stack-Summarizing Control-Flow Analysis of Higher-Order Programs
Christopher Earl, Matthew Might, David Van Horn
Two sinks drain precision from higher-order flow analyses: (1) merging of argument values upon procedure call and (2) merging of return values upon procedure return. To combat the…
Pushdown Control-Flow Analysis of Higher-Order Programs
Christopher Earl, Matthew Might, David Van Horn
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedura…