Cristina Cifuentes Nathan Keynes Lian Li Bernhard Scholz Program analysis for bug detection using parfait: invited talk. 7-8 2009 PEPM http://doi.acm.org/10.1145/1480945.1480947 conf/pepm/2009 db/conf/pepm/pepm2009.html#CifuentesKLS09