Sergey Mechtaev

Registered user since Wed 20 Dec 2017

Name:Sergey Mechtaev
Country:United Kingdom
Affiliation:University College London
Personal website:http://mechtaev.com
Research interests:software engineering, programming languages, formal methods

Contributions

ICSE 2024 Committee Member in Technical Track within the Technical Track-track
ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2022 Committee Member in Feedback Panel within the Doctoral Symposium-track
Session Chair of ESEC/FSE 20 Program Analysis II (part of ESEC/FSE 2020)
Committee Member in Program Committee within the Doctoral Symposium-track
Author of Trident: Controlling Side Effects in Automated Program Repair within the Journal First-track
Author of Modus: A Datalog Dialect for Building Container Images within the Research Papers-track
APR 2022 Session Chair of Opening and Keynote (part of APR 2022)
ICSE 2022 ACM Student Research Competition Co-Chair in Organizing Committee
Author of Evaluating Automatic Program Repair Capabilities to Repair API Misuses within the Journal-First Papers-track
ACM Student Research Competition Co-Chair in Program Committee within the SRC - ACM Student Research Competition-track
Committee Member in Program Committee within the DEMO - Demonstrations-track
ASE 2021 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee within the Student Research Competition-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
ASE 2020 Committee Member in Program Committee within the Research Papers-track
ASE 2019 Author of Re-factoring based Program Repair applied to Programming Assignments within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ISSTA 2019 Author of Crash-avoiding Program Repair within the Technical Papers-track
ICSE 2019 Author of Test-equivalence Analysis for Automatic Patch Generation within the Journal-First Papers-track
ESEC/FSE 2018 Author of Symbolic Execution with Existential Second-Order Constraints within the Research Papers-track
* ICSE 2018 * Author of Semantic Program Repair Using a Reference Implementation within the Technical Papers -track
Author of A Correlation Study between Automated Program Repair and Test-Suite Metrics within the Journal first papers-track