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