Sergey Mechtaev

Registered user since Wed 20 Dec 2017

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

Contributions

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
ICSE 2022 ACM Student Research Competition Co-Chair in Organizing Committee
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 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