Thresher: precise refutations for heap reachability.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Browse the full PLDI paper archive.