手機号碼：86-17200343089
個人主頁：https://mechtaev.com
主要研究方向
Sergey Mechtaev（謝遼夏）博士從事軟件缺陷修複的研究。其博士論文提出了著名程序修複工具Angelix，成功将符号執行和程序合成深度結合，首次将基于語義的程序缺陷修複提升到實用水平，使得基于語義的程序修複成為缺陷修複的三大主流技術途徑之一。該博士論文于2019年獲得了軟件工程領域博士生的最高獎“ACM SIGSOFT傑出博士論文獎”。後續工作不斷推進缺陷修複技術的能力和程序修複的工業部署。相關工作也獲得了幾項ACM SIGSOFT傑出論文獎。
Mechtaev博士還積極進行研究社區建設，是程序缺陷修複社區的主要建設者之一。他是程序缺陷修複主要的社區網站program-repair.org的創始人和主要維護者。他還發起了社區的主要會議——自動程序修複研讨會（Workshop on Automated Program Repair）并擔任了幾次組織者。
主要科研項目
請參考https://mechtaev.com
主要學術任職
請參考https://mechtaev.com
Selected Publications
Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE 2016
DirectFix: Looking for Simple Program Repairs
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE 2015
Semantic Program Repair Using a Reference Implementation
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury
ICSE 2018
Rete: Learning Namespace Representation for Program Repair
Nikhil Parasaram, Earl Barr, Sergey Mechtaev
ICSE 2023
Program Repair Guided by Datalog-Defined Static Analysis
Liu Yu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
FSE 2023
