Sergey Mechtaev / 谢辽夏

Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom
EFB 3.02
Phone +44 7935 602 279

I am a Lecturer (Assistant Professor) at UCL Computer Science, a member of Software Systems Engineering and CREST. I received a PhD from the National University of Singapore, and a Specialist Diploma from Saint Petersburg State University. My research focuses on automated program repair.

Full CV GitHub Twitter Google Scholar Achievements

View All

  • Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
    National University of Singapore, School of Computing CS Seminar
    22 November 2023
  • Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
    Imperial College London, Software Reliability Group Seminar
    17 November 2023

View All

    • ISSTA 2025
    • ICSE 2025
    • FSE SRC 2024
    • ASE 2024
    • APR 2024

    View All

22/01/24 F1X won Functional Errors/C track of APR-COMP 2024.
20/12/23 A paper on deployment of program repair at Bloomberg has been accepted to ICSE SEIP'24.
22/11/23 I gave a talk about Symlog at the National University of Singapore.
17/11/23 I gave a talk about Symlog at Imperial College London.
16/09/23 I am co-organising APR workshop at ICSE'24.
07/08/23 A paper on enhancing program analysis with fuzzing is accepted to ASE'23.
27/07/23 A paper on using Datalog for program repair has been accepted to FSE'23.
22/02/23 Our ICSE'23 paper received ACM SIGSOFT Distinguished Paper Award.
22/12/22 I have given a talk about Modus at JetBrains.
21/12/22 A paper on reproducible research has been accepted to ICSE'23 NIER.
08/12/22 A paper on learning variables for patch synthesis has been accepted to ICSE'23.
21/11/22 I have given a talk about Modus at Microsoft.

View All

  • Semantic Program Repair
    The goal of this project is to develop a practical automated program repair system that uses semantic analysis to understands the meaning of code and is able to correctly fix complex software bugs.
  • Modus
    A language for building Docker/OCI container images that uses logic programming to express interactions among build parameters, specify complex build workflows, automatically parallelise and cache builds, help to reduce image size, and simplify maintenance.

View All

  • David Williams (PhD)
    March 2024–Present
    First supervisor. Second supervisor: Federica Sarro
  • Liu Yu (PhD, NUS/CREST)
    September 2020–Present
    Co-advisor. Other advisors: Abhik Roychoudhury, Emmanuel Letier
  • Nikhil Parasaram (PhD)
    September 2019–Present
    First supervisor. Second supervisor: Earl T. Barr

View All

  • COMP0010 Software Engineering
    September 2023–December 2023
  • COMP0174 Practical Program Analysis
    January 2023–March 2023
  • COMP0010 Software Engineering
    September 2022–December 2022

View All