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

by Manuvir Das, Sorin Lerner, Mark Seigle
Venue:In ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation