6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 6 cited
Causal Program Dependence Analysis
Seongmin Lee, Dave Binkley, Robert Feldt +2
We introduce Causal Program Dependence Analysis (CPDA), a dynamic dependence analysis that applies causal inference to model the strength of program dependence relations in a conti…
cs.PL2019
Sub-Turing Islands in the Wild
Earl T. Barr, David W. Binkley, Mark Harman +1
Recently, there has been growing debate as to whether or not static analysis can be truly sound. In spite of this concern, research on techniques seeking to at least partially answ…