Konstantin Korovin -

Not registered as user yet

Name:Konstantin Korovin

Affiliation:University of Manchester

Personal website: http://www.cs.man.ac.uk/~korovink/

Contributions

2024

POCL

Author of ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC within the POCL 2024-track

2023

TAP

Committee Member in Program Committee within the Research Papers-track

2022

ISSTA

Author of ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC within the Tool Demonstrations-track

2017

VMCAI

Committee Member in Program committee