Abhik Roychoudhury
- AutoCodeRover: Autonomous Program Improvement
2024/04/08 by Yuntong Zhang, Haifeng Ruan, Zhang, Yuntong +5 · 1 voice · 63 citations
Computer Science · #Artificial Intelligence (cs.AI) #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #cs.AI #cs.SE
- oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
2018/07/16 by Guanhua Wang, Sudipta Chattopadhyay, Wang, Guanhua +7 · 1 voice · 3 citations
Computer Science · Engineering · #Security and Verification in Computing #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
- Automated Repair of Programs from Large Language Models
2022/05/21 by Zhiyu Fan, Xiang Gao, Fan, Zhiyu +6 · 12 citations
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software System Performance and Reliability
- Automatic Programming: Large Language Models and Beyond
2024/05/03 by Michael R. Lyu, Baishakhi Ray, Lyu, Michael R. +7 · 15 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Topic Modeling
- Automatic Programming: Large Language Models and Beyond
2025/05/24 by Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury +2 · 11 citations
- Fixing Security Vulnerabilities with AI in OSS-Fuzz
2024/11/03 by Yuntong Zhang, Zhang, Yuntong, Jiawei Wang +13 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection #Software Engineering (cs.SE)
- Unified Software Engineering Agent as AI Software Engineer
2025/06/17 by Leonhard Applis, Yuntong Zhang, Applis, Leonhard +9 · 9 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Scientific Computing and Data Management #Software Engineering (cs.SE)
- Verifix: Verified Repair of Programming Assignments
2021/06/30 by Umair Z. Ahmed, Ahmed, Umair Z., Zhiyu Fan +7 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
2024/12/29 by Ruijie Meng, Van-Thuan Pham, Meng, Ruijie +5 · 1 voice · 1 citation
#cs.SE
- Assured Automatic Programming via Large Language Models
2024/10/24 by Мартин Мирчев, Andreea Costea, Mirchev, Martin +5 · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Healthcare #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Concurrency Testing in the Linux Kernel via eBPF
2025/04/30 by Jiacheng Xu, Xu, Jiacheng, Dylan Wolff +8 · 2 voices · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #Security and Verification in Computing #cs.OS
- ExplainBench: Evaluating Code Explanations from Agents
2026/07/29 by Zhiyuan Pan, Sungmin Kang, Imam Nur Bani Yusuf +1
Computer Science · #cs.SE