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. Among other things, I developed Angelix program repair system, founded, and received ACM SIGSOFT Outstanding Doctoral Dissertation Award in 2019 and ACM SIGSOFT Distinguished Paper Award in 2023.

Full CV GitHub Twitter Google Scholar

View All

  • Modus: A Datalog Dialect for Building Container Images
    JetBrains, Open Reading Club
    Online, December 2022
  • To Build is to Query: Building Container Images with Datalog
    Microsoft, MDCS Tech & Science Talks
    Online, November 2022
  • To Build is to Query: Building Container Images with Datalog
    National University of Singapore, CS Seminar
    Singapore, August 2022

View All

  • ICSE 2025
  • APR 2024
  • ICSE 2024

View All

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.
16/11/22 A paper on SMT-based network verification has been accepted to FM'23.
07/10/22 I am co-organising automated program repair workshop at ICSE 2023.
03/08/22 I have given a talk about Modus at NUS.
14/06/22 A paper describing Modus has been accepted to FSE'22.
16/03/22 A paper on fairness repair has been accepted to FairWare'22.

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

  • 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

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

View All