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
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
- Trident: Controlling Side Effects in Automated Program Repair
- Modus: A Datalog Dialect for Building Container Images
ESEC/FSE 2022-profile
View general profile
View general profile