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
2024
POPL 2024-profile
View general profile
View general profile