Not registered as user yet

Name:Akhilesh Srikanth
Affiliation:Georgia Institute of Technology

Contributions

POPL 2017 Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track