46 citations · 222 across the 24 of their papers we have counts for
Showing 2011 · cs.PLShow all
2 papers · 2 filters
cs.PL2011
Pushdown Abstractions of JavaScript
David Van Horn, Matthew Might
We design a family of program analyses for JavaScript that make no approximation in matching calls with returns, exceptions with handlers, and breaks with labels. We do so by start…
cs.PL2011
Higher-Order Symbolic Execution via Contracts
Sam Tobin-Hochstadt, David Van Horn
We present a new approach to automated reasoning about higher-order programs by extending symbolic execution to use behavioral contracts as symbolic values, enabling symbolic appro…