Kostas Ferles -

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

POPL 2023	Web Co-Chair in Organizing Committee
SPLASH 2022	Author of Synthesizing fine-grained synchronization protocols for implicit monitors within the OOPSLA-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
POPL 2021	Author of Verifying Correct Usage of Context-Free API Protocols within the POPL-track
ESEC/FSE 2018	Author of Singularity: Pattern Fuzzing for Worst Case Complexity within the Research Papers-track
PLDI 2018	Author of Symbolic Reasoning for Automatic Signal Placement within the PLDI Research Papers-track
SOAP 2017	Author of A Datalog Model of Must-Alias Analysis within the SOAP-track