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
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