Registered user since Fri 5 May 2017
Name:Kostas Ferles
Country:United States
Affiliation:Veridise Inc.
Personal website: http://kferles.github.io
Research interests:Programming Languages, Program Analysis
Contributions
2023
POPL 2023-profile
View general profile
View general profile