| 2025 | The Fact Selection Problem in LLM-Based Program Repair Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev ICSE 2025 Preprint |
| 2024 | Oracle-guided Program Selection from Large Language Models Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury ISSTA 2024 Postprint |
| F1X at APR-COMP 2024 Sergey Mechtaev, Shin Hwei Tan APR 2024 Postprint |
|
| User-Centric Deployment of Automated Program Repair at Bloomberg David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro ICSE SEIP 2024 ACM SIGSOFT Distinguished Paper Award Preprint |
|
| 2023 | Precise Data-Driven Approximation for Program Analysis via Fuzzing Nikhil Parasaram, Earl Barr, Sergey Mechtaev, Marcel Boehme ASE 2023 Postprint |
| Program Repair Guided by Datalog-Defined Static Analysis Liu Yu, Sergey Mechtaev*, Pavle Subotic, Abhik Roychoudhury FSE 2023 Postprint * — corresponding author |
|
| Continuously Accelerating Research Earl Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Timperley ICSE NIER 2023 Postprint |
|
| Rete: Learning Namespace Representation for Program Repair Nikhil Parasaram, Earl Barr, Sergey Mechtaev ICSE 2023 ACM SIGSOFT Distinguished Paper Award Postprint |
|
| Efficient SMT-based Network Fault Tolerance Verification Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury FM 2023 Postprint |
|
| 2022 | Modus: A Datalog Dialect for Building Container Images Chris Tomy*, Tingmao Wang*, Earl Barr, Sergey Mechtaev FSE 2022 Postprint * — joint first authors |
| Fair Decision Making via Automated Repair of Decision Trees Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury Fairware 2022 Postprint |
|
| 2021 |
Trident: Controlling Side Effects in Automated Program Repair Nikhil Parasaram, Earl Barr, Sergey Mechtaev TSE 2021 Postprint |
|
Evaluating Automatic Program Repair Capabilities to Repair API Misuses Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman TSE 2021 Postprint |
|
| 2019 |
Re-factoring Based Program Repair Applied to Programming Assignments Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury ASE 2019 Postprint |
|
Crash-Avoiding Program Repair Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury ISSTA 2019 Postprint |
|
| 2018 |
Semantic Program Repair Sergey Mechtaev PhD dissertation, National University of Singapore, 2018 ACM SIGSOFT Outstanding Doctoral Dissertation Award Postprint |
|
Symbolic Execution with Existential Second-Order Constraints Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti and Abhik Roychoudhury FSE 2018 Postprint |
|
|
Test-equivalence Analysis for Automatic Patch Generation Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury TOSEM 2018 Postprint |
|
|
Semantic Program Repair Using a Reference Implementation Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury ICSE 2018 Postprint Slides |
|
| 2017 |
A Correlation Study between Automated Program Repair and Test-Suite Metrics Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Boehme, Abhik Roychoudhury EMSE 2017 Postprint |
|
Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury ICSE Poster 2017 Postprint Benchmark |
|
| 2016 |
Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury ICSE 2016 Postprint Tool Replication package |
| 2015 |
DirectFix: Looking for Simple Program Repairs Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury ICSE 2015 Postprint Slides |
| 2011 |
Generic Programming Library for OCaml (In Russian) Sergey Mechtaev Master dissertation, Saint Petersburg State University, 2011 Postprint |
|
Eliminating boilerplate code in Objective Caml programs (In Russian) Sergey Mechtaev System Programming 2011 Postprint |
|
|
Efficiently Scrapping Boilerplate Code in OCaml Dmitri Boulytchev, Sergey Mechtaev Workshop on ML 2011 Postprint Replication package |