| 2022 | Modus: A Datalog Dialect for Building Container Images Chris Tomy, Tingmao Wang, Earl Barr, Sergey Mechtaev FSE 2022 |
| 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 |