Home / Publications
  • 2026

  • Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
    Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, Sergey Mechtaev
    Draft 2026

    [Preprint]

  • Statistical Independence Aware Caching for LLM Workflows
    Yihan Dai, Dimitrios Stamatios Bouras, Haoxiang Jia, Sergey Mechtaev
    LLM4Code@ICSE 2026

    [Preprint] [Artifact]

  • HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
    Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev
    ICSE 2026

    [Preprint] [Artifact]
  • 2025

  • Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
    Haoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev
    ASE 2025

    [Preprint] [Artifact]

  • LLM-Assisted Crossover in Genetic Improvement of Software
    Dimitrios Stamatios Bouras, Justyna Petke, Sergey Mechtaev
    GI@ICSE 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

    [Postprint] [Preprint] [Artifact]
  • 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-COMP 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

    [Preprint]
  • 2023

  • Precise Data-Driven Approximation for Program Analysis via Fuzzing
    Nikhil Parasaram, Earl T. 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] [Artifact]

  • Continuously Accelerating Research
    Earl T. Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Timperley
    ICSE NIER 2023

    [Postprint]

  • Rete: Learning Namespace Representation for Program Repair
    Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
    ICSE 2023

    [Postprint] [Artifact]

  • 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 T. Barr, Sergey Mechtaev
    FSE 2022

    [Postprint] [Artifact]

  • 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 T. Barr, Sergey Mechtaev
    TSE 2021

    [Postprint] [Artifact]

  • Evaluating Automatic Program Repair Capabilities to Repair API Misuses
    Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman
    TSE 2021

    [Postprint] [Artifact]
  • 2019

  • Re-factoring Based Program Repair Applied to Programming Assignments
    Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
    ASE 2019

    [Postprint] [Artifact]

  • Crash-Avoiding Program Repair
    Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
    ISSTA 2019

    [Postprint] [Artifact]
  • 2018

  • Semantic Program Repair
    Sergey Mechtaev
    NUS, PhD Thesis 2018

    [Postprint] [NUS Computing Highlights]

  • Symbolic Execution with Existential Second-Order Constraints
    Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
    FSE 2018

    [Postprint]

  • Test-equivalence Analysis for Automatic Patch Generation
    Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
    TOSEM 2018

    [Postscript] [Artifact]

  • Semantic Program Repair Using a Reference Implementation
    Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
    ICSE 2018

    [Postprint]
  • 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] [Artifact]
  • 2016

  • Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis
    Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
    ICSE 2016

    [Postprint] [Artifact]
  • 2015

  • DirectFix: Looking for Simple Program Repairs
    Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
    ICSE 2015

    [Postprint]
  • 2011

  • Generic Programming Library for OCaml (In Russian)
    Sergey Mechtaev
    SPbSU, Specialist Thesis 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
    ML 2011

    [Postprint] [Artifact]