Sergey Mechtaev / 谢辽夏
Address

Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom
Office
EFB 3.02
Phone +44 7935 602 279
Email s.mechtaev@ucl.ac.uk

I am a Lecturer (Assistant Professor) at UCL Computer Science, a member of Software Systems Engineering and CREST. I received a PhD degree from the National University of Singapore, and a Specialist Diploma from Saint Petersburg State University. My research interests include software engineering, programming languages and formal methods.

Full CV
Publications

View All
Talks

  • Semantic Program Repair
    NUS Computing Research Week
    Singapore (via video conferencing), August 2020
  • Synthesis of Software Patches Using Symbolic Execution
    62nd CREST Open Workshop on Program Repair and GI
    London, United Kingdom, January 2020
  • Automated Repair of Security Vulnerabilities
    Shonan Meeting 160 on Fuzzing and Symbolic Execution
    Tokyo, Japan, September 2019

View All
Service

  • FSE 2023
    PC
  • FSE 2022 DS
    PC

View All
News

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.
15/11/21 I am co-organising automated program repair workshop at ICSE 2022.
28/09/21 A paper on synthesising patches with side effects has been accepted to TSE.
03/02/21 An empirical study on API misuse repair has been accepted to TSE.
15/11/20 I am co-organising automated program repair workshop at ICSE 2021.
05/08/20 I have given a talk on semantic program repair at NUS Computing Research Week.

View All
Projects

  • Semantic Program Repair
    2013–Present
    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
    2022–Present
    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
Group

  • Passawis Chaiyapattanaporn (BSc)
    June 1–Present
    Summer internship supervisor.
  • 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
Teaching

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

View All