Sergey Mechtaev

36 papers A* 8A 2B 1Journal 14Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Compressing Code Context for LLM-based Issue Resolution. CoRR Haoxiang Jia, Earl T. Barr, Sergey Mechtaev
2026	J	`jnl`	Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code. CoRR Dimitrios Stamatios Bouras, Sergey Mechtaev
2025	J	`jnl`	Automated Repair of Ambiguous Natural Language Requirements. CoRR Haoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev
2025	A*	`conf`	Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation. ASE Haoxiang Jia, Robbie Morris, He Ye, Federica Sarro, Sergey Mechtaev
2025	J	`jnl`	HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. CoRR Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev
2025	—	`conf`	Llm-Assisted Crossover in Genetic Improvement of Software. GI@ICSE Dimitrios Stamatios Bouras, Sergey Mechtaev, Justyna Petke
2025	J	`jnl`	Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation. CoRR Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, Sergey Mechtaev
2025	J	`jnl`	Statistical Independence Aware Caching for LLM Workflows. CoRR Yihan Dai, Dimitrios Stamatios Bouras, Haoxiang Jia, Sergey Mechtaev
2025	A*	`conf`	The Fact Selection Problem in LLM-Based Program Repair. ICSE Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev
2024	—	`conf`	F1X at APR-COMP 2024. APR Sergey Mechtaev, Shin Hwei Tan
2024	A	`conf`	Oracle-Guided Program Selection from Large Language Models. ISSTA Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury
2024	J	`jnl`	The Fact Selection Problem in LLM-Based Program Repair. CoRR Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev
2024	—	`conf`	User-Centric Deployment of Automated Program Repair at Bloomberg. ICSE-SEIP David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro
2023	—	`conf`	Continuously Accelerating Research. ICSE (NIER) Earl T. Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Steven Timperley
2023	B	`conf`	Efficient SMT-Based Network Fault Tolerance Verification. FM Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
2023	—	`conf`	International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. APR@ICSE Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun
2023	A*	`conf`	Precise Data-Driven Approximation for Program Analysis via Fuzzing. ASE Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme
2023	—	`conf`	Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
2023	A*	`conf`	Rete: Learning Namespace Representation for Program Repair. ICSE Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
2023	J	`jnl`	User-Centric Deployment of Automated Program Repair at Bloomberg. CoRR David Williams, James Callan, Serkan Kirbas, Sergey Mechtaev, Justyna Petke, Thomas Prideaux-Ghee, Federica Sarro
2022	J	`jnl`	Evaluating Automatic Program Repair Capabilities to Repair API Misuses. IEEE Trans. Software Eng. Maria Kechagia, Sergey Mechtaev, Federica Sarro, Mark Harman
2022	—	`conf`	Fair Decision Making via Automated Repair of Decision Trees. FairWare@ICSE Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
2022	—	`conf`	Modus: a Datalog dialect for building container images. ESEC/SIGSOFT FSE Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev
2022	J	`jnl`	Trident: Controlling Side Effects in Automated Program Repair. IEEE Trans. Software Eng. Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
2020	J	`jnl`	Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. CoRR Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury
2019	A	`conf`	Crash-avoiding program repair. ISSTA Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
2019	A*	`conf`	Re-Factoring Based Program Repair Applied to Programming Assignments. ASE Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
2018	A*	`conf`	A correlation study between automated program repair and test-suite metrics. ICSE Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	J	`jnl`	A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	A*	`conf`	Semantic program repair using a reference implementation. ICSE Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
2018	—	`conf`	Symbolic execution with existential second-order constraints. ESEC/SIGSOFT FSE Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
2018	J	`jnl`	Test-Equivalence Analysis for Automatic Patch Generation. ACM Trans. Softw. Eng. Methodol. Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
2017	—	`conf`	Codeflaws: a programming competition benchmark for evaluating automated program repair tools. ICSE (Companion Volume) Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
2017	J	`jnl`	Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. CoRR Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury
2016	A*	`conf`	Angelix: scalable multiline program patch synthesis via symbolic analysis. ICSE Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
2015	—	`conf`	DirectFix: Looking for Simple Program Repairs. ICSE (1) Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury