Author:
Alur Rajeev,Bodik Rastislav,Juniwal Garvit,Martin Milo M. K.,Raghothaman Mukund,Seshia Sanjit A.,Singh Rishabh,Solar-Lezama Armando,Torlak Emina,Udupa Abhishek
Cited by
258 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Oracle-Guided Program Selection from Large Language Models;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;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. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software;Proceedings of the ACM on Software Engineering;2024-07-12
4. Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms;ACM Transactions on Programming Languages and Systems;2024-06-17
5. Hydra: Generalizing Peephole Optimizations with Program Synthesis;Proceedings of the ACM on Programming Languages;2024-04-29