Alex Knauth

Registered user since Thu 2 Nov 2017

Name:Alex Knauth
Country:United States
Affiliation:Northeastern University

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