Sergey Mechtaev / 谢辽夏

mechtaev@pku.edu.cn

GitHub

Address

Room 1542, Science Building #1, Peking University, No. 5 Yiheyuan Road, Beijing, 100871, China

Sergey Mechtaev is an Assistant Professor at Peking University. Previously, he obtained a PhD degree from the National University of Singapore, and was a faculty member at University College London. His research aims to automate the development and maintenance of trustworthy software. It has been recognized by prestigious awards, notably, an ACM SIGSOFT Outstanding Dissertation Award and three ACM SIGSOFT Distinguished Paper Awards, and has been deployed in industry, at Bloomberg, and academia, at IIT Kanpur.

CV Research Overview Achievements

Publications

Compressing Code Context for LLM-based Issue Resolution

Haoxiang Jia, Earl T. Barr, Sergey Mechtaev

ASE 2026 Preprint Artifact
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code

Dimitrios Stamatios Bouras, Sergey Mechtaev

ISSTA 2026 Preprint
Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation

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

Draft 2026 Preprint Artifact
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

View All Google Scholar DBLP

News

25/06/26 A paper on LLM-based symbolic execution has been accepted to ISSTA'26. 18/06/26 A paper on context compression for program repair has been accepted to ASE'26. 03/03/26 HoarePrompt [ICSE'26] received ACM SIGSOFT Distinguished Paper Award. 30/11/25 A paper on caching LLM workflows has been accepted to LLM4Code@ICSE'26. 15/10/25 A paper on LLM reasoning about program correctness has been accepted to ICSE'26.

Talks

May 2026

Quality Assurance in The Era of Natural Language Driven Programming

Nanjing University

Dec 2025

Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation

Zhejiang University

Jun 2025

Quality Assurance in The Era of Natural Language Driven Programming

Shanghai Workshop on Structural AI

Group

Haoxiang Jia

PhD Student at PKU
Dimitrios Stamatios Bouras

PhD Student at PKU
Yihan Dai

PhD Student at PKU

Service

ICSE 2027

Program committee
OOPSLA 2027

Program committee
FSE 2027

Program committee
LMPL@SPLASH 2026

Program committee
ICSE 2026

Program committee

Teaching

04834580 Software Engineering (Honor Track)

Peking University

March 2026–June 2026
04834580 Software Engineering (Honor Track)

Peking University

February 2025–May 2025
COMP0010 Software Engineering

University College London

September 2024–December 2024
COMP0174 Practical Program Analysis

University College London

January 2024–March 2024