Preprint A Theory of Formal Synthesis via Inductive Learning arXiv (Cornell University) 2015 Read Paper A Theory of Formal Synthesis via Inductive Learning Susmit Jha, Sanjit A. Seshia arXiv (Cornell University) 2015 Open access Machine Learning and Algorithms Software Engineering Research Software Testing and Debugging Techniques
Journal article CodePlan: Repository-Level Coding using LLMs and Planning Proceedings of the ACM on software engineering. 2024 Read Paper CodePlan: Repository-Level Coding using LLMs and Planning Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, D. C. Vageesh, Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, B. Ashok, Shashank Shet Proceedings of the ACM on software engineering. 2024 Open access AI-based Problem Solving and Planning Formal Methods in Verification Software Testing and Debugging Techniques
Preprint DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair arXiv (Cornell University) 2026 Read Paper DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair Maolin Sun, Yibiao Yang, Xuanlin Liu, Yuming Zhou, Baowen Xu arXiv (Cornell University) 2026 Open access Security and Verification in Computing Software Engineering Research Software Testing and Debugging Techniques
Preprint PracRepair: LLM-Empowered Automated Program Repair Inspired by Human-Like Debugging Practices arXiv (Cornell University) 2026 Read Paper PracRepair: LLM-Empowered Automated Program Repair Inspired by Human-Like Debugging Practices Yu Cheng, Z LIU, Zhenchang Xing, Chao Ni, Qing Huang, Xiaoxue Ren arXiv (Cornell University) 2026 Open access Software Engineering Research Software System Performance and Reliability Software Testing and Debugging Techniques