Affiliation:
1. University of Washington, USA
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis;Proceedings of the ACM on Programming Languages;2024-06-20
2. Hydra: Generalizing Peephole Optimizations with Program Synthesis;Proceedings of the ACM on Programming Languages;2024-04-29
3. Optimal Program Synthesis via Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
4. Trace-Guided Inductive Synthesis of Recursive Functional Programs;Proceedings of the ACM on Programming Languages;2023-06-06
5. Code Synthesis for Sparse Tensor Format Conversion and Optimization;Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization;2023-02-17