Synthesizing structured CAD models with equality saturation and inverse transformations-Reference-Cited by-同舟云学术

Synthesizing structured CAD models with equality saturation and inverse transformations

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Nandi Chandrakana¹,Willsey Max¹,Anderson Adam¹,Wilcox James R.²,Darulova Eva³,Grossman Dan¹,Tatlock Zachary¹

Affiliation:

1. University of Washington, USA

2. Certora, USA

3. MPI-SWS, Germany

Funder

NSF

Publisher

ACM

Link

Reference41 articles.

3. CGAL. 2018. CGAL. https://www.cgal.org. CGAL. 2018. CGAL. https://www.cgal.org.

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17

4. Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02