9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.PL2011
Systematic Abstraction of 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 for high…
cs.PL2011★ 1 cited
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
David Van Horn, Matthew Might
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs (static analyses…
cs.PL2011★ 9 cited
A family of abstract interpretations for static analysis of concurrent higher-order programs
Matthew Might, David Van Horn
We develop a framework for computing two foundational analyses for concurrent higher-order programs: (control-)flow analysis (CFA) and may-happen-in-parallel analysis (MHP). We pay…