ESP: Path-Sensitive Program Verification in Polynomial Time. - Manuvir Das; Sorin Lerner; Mark Seigle (PLDI, 2002)

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. - Stephen Adams 001; Thomas Ball 001; Manuvir Das; Sorin Lerner; Sriram K. Rajamani; Mark Seigle; Westley Weimer (SAS, 2002)