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

Erlang 2021 Keynote Speaker of Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote) within the Erlang 2021-track
PPoPP 2021 Session Chair of Session 1. Concurrency (part of Main Conference)
Committee Member in External Review Committee
VMIL 2020 Committee Member in Program Committee within the VMIL 2020-track
SLE 2020 Author of Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers within the SLE-track
PADL 2020 Session 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 2020 Author of [T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models within the TutorialFest-track
VPT 2019 Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019 Author 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 2019 Invited Speaker in Invited Speakers within the HCVS-track
Author of Invited Talk: Concolic testing of higher-order functional languages within the HCVS-track
AGERE 2018 Committee Member in Program Committee within the AGERE-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PEPM 2018 Committee Member in Steering Committee within the PEPM 2018-track
Erlang 2017 Author of The Shared-Memory Interferences of Erlang/OTP Built-ins within the Erlang 2017-track
POPL 2018 Author 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 2017 Author of Targeted Property-Based Testing within the Technical Papers-track
SPIN 2017 Session Chair of Session 9: Model Checking (part of SPIN Full Paper)
Erlang 2016 Author of The Nifty Way to Call Hell from Heaven within the Erlang-track
PEPM 2015 Author 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