Tripp, Omer
- A Deep Dive into Large Language Models for Automated Bug Localization and Repair
2024/04/17 by Soneya Binta Hossain, Hossain, Soneya Binta, Nan Jiang +13 · 23 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks
2025/01/20 by Y. C. Hu, Hu, Yaojie, Qiang Zhou +14 · 8 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Scientific Computing and Data Management #Simulation Techniques and Applications #Software Engineering (cs.SE)
- Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
2018/02/23 by Kshitij Bansal, Bansal, Kshitij, Eric Koskinen +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.PL
- Static Analysis for AWS Best Practices in Python Code
2022/05/09 by Mukherjee, Rajdeep, Tripp, Omer, Liblit, Ben +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- MigrationBench: Repository-Level Code Migration Benchmark from Java 8
2025/05/14 by L.Q. Liu, Liu, Linbo, X. M. Liu +18 · 2 citations
Computer Science · Decision Sciences · #Software Engineering Research #Model-Driven Software Engineering Techniques #Scientific Computing and Data Management