conf.researchr.org / Sergey Mechtaev
Registered user since Wed 20 Dec 2017
Name:Sergey Mechtaev
Country:China
Affiliation:Peking University
Personal website: http://mechtaev.com
Research interests:software engineering, programming languages, formal methods
Contributions
2025
2024
APR
ICSE
2023
ESEC/FSE
2022
ESEC/FSE
- 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
ICSE
- 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