CCured in the real world.

Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer

Browse the full PLDI paper archive.