Not registered as user yet

Name: Akhilesh Srikanth

Affiliation: Georgia Institute of Technology

POPL 2017 Activities

• Author of Complexity Verification Using Guided Theorem Enumeration within the POPL-track in POPL 2017
• Show activities from other conferences