SPLASH 2022 (series) / 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
SPLASH 2022 | Synthesizing fine-grained synchronization protocols for implicit monitors | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile