Sachin Shaw, Pawan Kumar: Loop-dead optimization. ACM SIGPLAN Notices 40(2): 33-40 (2005)