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