Partial dead code elimination using slicing transformations (1997)

by R Bodik, R Gupta
Venue:Proc. ACM SIGPLAN PLDI