Affiliation:
1. University of Washington, USA
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Optimal Program Synthesis via Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
2. Trace-Guided Inductive Synthesis of Recursive Functional Programs;Proceedings of the ACM on Programming Languages;2023-06-06
3. 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
4. Comparative Synthesis: Learning Near-Optimal Network Designs by Query;Proceedings of the ACM on Programming Languages;2023-01-09
5. Synthesizing Trajectory Queries from Examples;Computer Aided Verification;2023