39 citations · 192 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 28 cited
Galois Transformers and Modular Abstract Interpreters
David Darais, Matthew Might, David Van Horn
The design and implementation of static analyzers has become increasingly systematic. Yet for a given language or analysis feature, it often requires tedious and error prone work t…
cs.PL2014★ 5 cited
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang, Weibin Sun, Matthew Might +2
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and point…