Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018

Name:Konstantinos (Kostis) Sagonas
Country:Sweden
Affiliation:Uppsala University and Nat. Tech. Univ. of Athens
Research interests:Software Technology, Software Security, Testing and Verification, Programming Languages

Contributions

MPLR 2023 PC Member in Program Committee within the MPLR 2023-track
ICST 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2022 Author of Grammar-based testing for little languages: an experience report with student compilers within the COVID Time Papers In Person-track
ASE 2022 Author of So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack within the Research Papers-track
Author of Artifact of the ASE'2022 paper "So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack" within the Artifact Evaluation-track
ICST 2022 Author of DTLS-Fuzzer: A DTLS Protocol State Fuzzer within the Tool Demos-track
Author of Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification within the Research Papers-track
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
SLE 2020 Author of Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers within the SLE-track
VMIL 2020 Committee Member in Program Committee within the VMIL 2020-track
POPL 2020 Author of [T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models within the TutorialFest-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)
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
ICFP 2019 Committee Member in External Review Committee within the Research Papers-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
VPT 2019 Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
AGERE 2018 Committee Member in Program Committee within the AGERE-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
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
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