36 citations · 37 across the 3 of their papers we have counts for
4 papers · 1 filter
Pushdown Exception-Flow Analysis of Object-Oriented Programs
Shuying Liang, Matthew Might, Thomas Gilray +1
Statically reasoning in the presence of and about exceptions is challenging: exceptions worsen the well-known mutual recursion between data-flow and control-flow analysis. The rece…
Evaluating Call-By-Need on the Control Stack
Stephen Chang, David Van Horn, Matthias Felleisen
Ariola and Felleisen's call-by-need λ-calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substitution, function a…
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…
Abstracting Abstract Machines
David Van Horn, Matthew Might
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demo…