![Kostas Ferles](https://popl24.sigplan.org/getProfileImage/kostasferles/aa3b4bd2-919d-4249-9199-3721cbfd3a82/small.jpg?1711480187000)
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