Not registered as user yet

Name:Dmitry Chistikov
Country:United Kingdom
Affiliation:University of Warwick

Contributions

POPL 2022 Author of Subcubic Certificates for CFL Reachability within the POPL-track