Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection.

Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Saurabh Bagchi

Browse the full ICCD paper archive.