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

Published in In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 33-48. ACM, 2017. (Acceptance rate: 15% (47/322)), 2017