Registered user since Fri 29 May 2020

Name:Anthony Vandikas
Affiliation:University of Toronto

Contributions

POPL 2020 Author of Reductions for Safety Proofs within the Research Papers-track