SPLASH 2019 (series) / Konstantinos (Kostis) Sagonas
Registered user since Sun 11 Nov 2018
Name: Konstantinos (Kostis) Sagonas
Country: Sweden
Affiliation: Uppsala University
Research interests: Software Technology, Programming Languages, Testing and Verification, Security
Contributions
| SPLASH 2019 | Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile