Combining the logical and the probabilistic in program analysis.

Xin Zhang, Xujie Si, Mayur Naik

Browse the full PLDI paper archive.