Affiliation:
1. Rice University, USA
2. University of Texas at Austin, USA
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Cited by
134 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases;Lecture Notes in Computer Science;2024-09-11
2. LLM Based End-to-end Branch Predictor Optimization Generator;2024 IEEE 35th International Conference on Application-specific Systems, Architectures and Processors (ASAP);2024-07-24
3. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20
4. Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms;ACM Transactions on Programming Languages and Systems;2024-06-17
5. Generating Well-Typed Terms That Are Not “Useless”;Proceedings of the ACM on Programming Languages;2024-01-05