ESP: path-sensitive program verification in polynomial time (2002)

by Manuvir Das, Sorin Lerner, Mark Seigle
Venue:In 23th ACM Conference on Programming Language Design and Implementation (PLDI