Registered user since Fri 28 Oct 2016

Name: Burak Sahin

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