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 |
| 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 CVPublications
-
Continuously Accelerating Research
Earl Barr, Jonathan Bell, Michael Hilton, Sergey Mechtaev, Christopher Timperley
ICSE NIER 2023 -
Rete: Learning Namespace Representation for Program Repair
Nikhil Parasaram, Earl Barr, Sergey Mechtaev
ICSE 2023
ACM SIGSOFT Distinguished Paper Award -
Efficient SMT-based Network Fault Tolerance Verification
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
FM 2023 -
Modus: A Datalog Dialect for Building Container Images
Chris Tomy, Tingmao Wang, Earl Barr, Sergey Mechtaev
FSE 2022
Talks
-
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
Service
News
| 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. |
| 15/11/21 | I am co-organising automated program repair workshop at ICSE 2022. |
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.
Group
-
Robbie Lin (BSc)
October 2022–Present
Final year project 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
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