Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018

Name: Konstantinos (Kostis) Sagonas

Country: Sweden

Affiliation: Uppsala University, Sweden

Research interests: Software Technology, Programming Languages, Testing and Verification, Security

Contributions

VPT 2019Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track
Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track
HCVS 2019Invited speaker in Invited Speakers within the HCVS-track
Author of Invited Talk: Concolic testing of higher-order functional languages within the HCVS-track
AGERE 2018Committee Member in Program Committee within the AGERE-track
ICFP 2019Committee Member in External Review Committee within the Research Papers-track
PEPM 2018Committee Member in Steering Committee within the PEPM 2018-track
Erlang 2017Author of The Shared-Memory Interferences of Erlang/OTP Built-ins within the Erlang 2017-track
POPL 2018Author of Effective Stateless Model Checking for C/C++ Concurrency within the Artifact Evaluation-track
Author of Effective Stateless Model Checking for C/C++ Concurrency within the Research Papers-track
ISSTA 2017Author of Targeted Property-Based Testing within the Technical Papers-track
SPIN 2017Session Chair of Session 9: Model Checking (part of SPIN Full Paper)
Erlang 2016Author of The Nifty Way to Call Hell from Heaven within the Erlang-track
PEPM 2015Author of Germán Puebla Memorial within the PEPM 2015-track
Session Chair of Verification (part of PEPM 2015)
Author of Welcome within the PEPM 2015-track
Session Chair of Demo (part of PEPM 2015)
Session Chair of Welcome & Invited Talk (part of PEPM 2015)
Program Co-Chair in Program Committee within the PEPM 2015-track