Publications

Compressing Code Context for LLM-based Issue Resolution

Haoxiang Jia, Earl T. Barr, Sergey Mechtaev^#

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code

Dimitrios Stamatios Bouras, Sergey Mechtaev^#

Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation

Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, Sergey Mechtaev^#

Statistical Independence Aware Caching for LLM Workflows

Yihan Dai, Dimitrios Stamatios Bouras, Haoxiang Jia, Sergey Mechtaev

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev^#

ACM SIGSOFT Distinguished Paper Award

Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation

Haoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev^#

LLM-Assisted Crossover in Genetic Improvement of Software

Dimitrios Stamatios Bouras, Justyna Petke, Sergey Mechtaev

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^#

Oracle-guided Program Selection from Large Language Models

Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury

F1X at APR-COMP 2024

Sergey Mechtaev, Shin Hwei Tan

Winner of APR-COMP 2024 Functional Errors/C Track

User-Centric Deployment of Automated Program Repair at Bloomberg

David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro

ACM SIGSOFT Distinguished Paper Award

Precise Data-Driven Approximation for Program Analysis via Fuzzing

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Boehme

Program Repair Guided by Datalog-Defined Static Analysis

Liu Yu, Sergey Mechtaev^#, Pavle Subotic, Abhik Roychoudhury

Continuously Accelerating Research

Earl T. Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Timperley

Rete: Learning Namespace Representation for Program Repair

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev

ACM SIGSOFT Distinguished Paper Award

Efficient SMT-based Network Fault Tolerance Verification

Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury

Modus: A Datalog Dialect for Building Container Images

Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev

Fair Decision Making via Automated Repair of Decision Trees

Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury

Trident: Controlling Side Effects in Automated Program Repair

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman

Re-factoring Based Program Repair Applied to Programming Assignments

Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury

Crash-Avoiding Program Repair

Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury

Semantic Program Repair

Sergey Mechtaev

ACM SIGSOFT Outstanding Doctoral Dissertation Award

Symbolic Execution with Existential Second-Order Constraints

Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury

Test-equivalence Analysis for Automatic Patch Generation

Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury

Semantic Program Repair Using a Reference Implementation

Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury

A Correlation Study between Automated Program Repair and Test-Suite Metrics

Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Boehme, Abhik Roychoudhury

Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools

Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

DirectFix: Looking for Simple Program Repairs

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

Generic Programming Library for OCaml (In Russian)

Sergey Mechtaev

Eliminating boilerplate code in Objective Caml programs (In Russian)

Sergey Mechtaev