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

PADL 2020Session Chair of Invited Experience and Direction Session (part of PADL 2020)
Session Chair of Invited Experience and Direction Session (Continued) (part of PADL 2020)
POPL 2020Author of [T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models within the TutorialFest-track
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 Reads-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