Affiliation:
1. University of Washington
Subject
General Earth and Planetary Sciences,Water Science and Technology,Geography, Planning and Development
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Enumeration of Recursive Plans in Transformation-Based Query Optimizers;Proceedings of the VLDB Endowment;2024-07
2. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20
3. Formal Verification of Source-to-Source Transformations for HLS;Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2024-04
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
5. Guided Equality Saturation;Proceedings of the ACM on Programming Languages;2024-01-05