Thresher: precise refutations for heap reachability

@inproceedings{Blackshear2013ThresherPR,
  title={Thresher: precise refutations for heap reachability},
  author={Sam Blackshear and Bor-Yuh Evan Chang and Manu Sridharan},
  booktitle={PLDI},
  year={2013}
}
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

Similar Papers

Loading similar papers…