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