Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction

Published in Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'17). (Acceptance rate: 15% (47/322)) , 2017