Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen
Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction
PLDI, 2017.
@inproceedings{PLDI-2017-DingNGS,
author = "Yufei Ding and Lin Ning and Hui Guan and Xipeng Shen",
booktitle = "{Proceedings of the 38th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3062341.3062377",
ee = "https://www.wikidata.org/entity/Q57425996",
isbn = "978-1-4503-4988-8",
pages = "33--48",
publisher = "{ACM}",
title = "{Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction}",
year = 2017,
}