19 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-find…