Registered user since Thu 22 Dec 2016

Name: Anton Xue

Affiliation: Yale University

POPL 2017 Activities

• Author of A Symbolic Execution Framework for Haskell within the Student Research Competition-track in POPL 2017
• Show activities from other conferences