Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock. Synthesizing structured CAD models with equality saturation and inverse transformations. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 31-44, ACM, 2020. [doi]
@inproceedings{NandiWAWDGT20,
title = {Synthesizing structured CAD models with equality saturation and inverse transformations},
author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock},
year = {2020},
doi = {10.1145/3385412.3386012},
url = {https://doi.org/10.1145/3385412.3386012},
researchr = {https://researchr.org/publication/NandiWAWDGT20},
cites = {0},
citedby = {0},
pages = {31-44},
booktitle = {Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020},
editor = {Alastair F. Donaldson and Emina Torlak},
publisher = {ACM},
isbn = {978-1-4503-7613-6},
}