Key Works
SemFix: Program Repair via Semantic Analysis
Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
ACM/IEEE International Conference on Software Engineering (ICSE) 2013.
Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2016.
DirectFix: Looking for Simple Program Repairs
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2015.
Automated Program Repair
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Communications of the ACM (CACM), 62(12), December 2019.
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2021.
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities (Invited Paper)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben Rowe, and Ilya Sergey
CAV 2021. LNCS, Vol. 12759, Pages 110–134. Springer.
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben Rowe, and Ilya Sergey
PLDI 2021. Pages 944–959. ACM.
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
Proc. ACM Program. Lang. 2021. Vol. 5, (ICFP), Pages 84:1–84:29. ACM.
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, and Wei-Ngan Chin
VMCAI 2021. LNCS, Vol. 12597, Pages 376–400. Springer.
Intelligent Tutoring System: Experience of Linking Software Engineering and Programming Teaching
Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury
arXiv, preprint.
Recent Publications
AutoCodeRover: Autonomous Program Improvement
Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2024, arXiv:2404.05427, Publicly released 8th April 2024.
Oracle-guided Program Selection from Large Language Models
Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2024.
Specification and Verification for Unrestricted Algebraic Effects and Handling
Yahui Song, Darius Foo, Wei-Ngan Chin
The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP) 2024.
ProveNFix: Temporal Property guided Program Repair
Yahui Song, Xiang Gao, Wenhua Li, Wei Ngan Chin, Abhik Roychoudhury
ACM International Conference on the Foundations of Software Engineering (FSE) 2024.
Distinguished Paper Award
Evolutionary Testing for Program Repair
Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury
17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024.
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, and Ilya Sergey
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024).
Program Repair Guided by Datalog-Defined Static Analysis
Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2023.
Adventure of a Lifetime: Extract Method Refactoring for Rust
Andreea Costea, Kiran Gopinathan, Ilya Sergey
OOPLSA 2023
Concept-based Automated Grading of CS-1 Programming Assignments
Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2023.
Mostly Automated Proof Repair for Verified Libraries
Kiran Gopinathan, Mayank Keoliya, and Ilya Sergey
44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2023.
Automated Repair of Programs from Large Language Models
Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan
IEEE/ACM International Conference on Software Engineering (ICSE) 2023.
Cerberus: A Program Repair Framework
Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury
IEEE/ACM International Conference on Software Engineering (ICSE) 2023, Tool Demonstrations track.
Automated Verification for Real-Time Systems
Yahui Song, Chin Wei Ngan
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023: 569-587
HIPPODROME: Data Race Repair using Static Analysis Summaries
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
ACM Transactions on Software Engineering and Methodology (TOSEM), 32(2), March 2023.
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin.
Asian Symposium on Programming Languages and Systems, APLAS2023.