Alex Knauth

Registered user since Thu 2 Nov 2017

Name: Alex Knauth

Country: United States

Affiliation: Northeastern University

Personal website: https://github.com/AlexKnauth/

Contributions

POPL 2018 Symbolic Types for Lenient Symbolic Execution
Symbolic Types for Lenient Symbolic Execution
Show activities from other conferences

POPL 2018-profile
View general profile