So a. Interprocedural conditional branch elimination (1997)

by Rastislav Bodik, Rajiv Gupta, Mary Lou
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation