Google Scholar  DBLP

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