Alceste Scalas

Registered user since Mon 18 Apr 2016

Name:Alceste Scalas
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal methods, concurrency, distributed systems, behavioural and session types, programming languages

Contributions

ST30 Committee Member in Organizing Committee within the ST30-track
VORTEX 2023 PC Member in Program Committee within the VORTEX 2023-track
Scala 2021 Committee Member in Program Committee within the Scala-track
ECOOP 2021 Author of On the Monitorability of Session Types, in Theory and Practice within the ECOOP Artifacts-track
Author of On the Monitorability of Session Types, in Theory and Practice within the ECOOP Technical Papers-track
VORTEX 2021 Committee Member in Program Committee within the VORTEX-track
POPL 2021 Author of Precise Subtyping for Asynchronous Multiparty Sessions within the POPL-track
Scala 2019 Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track
PLDI 2019 Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track
GaLoP 2019 Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
POPL 2019 Author of Less is More: Multiparty Session Types Revisited within the Research Papers-track
BEAT 2019 Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
ECOOP 2018 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ECOOP 2017 Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ECOOP 2016 Author of Lightweight session programming in Scala within the Research Track-track
Author of Lightweight Session Programming in Scala within the Artifacts-track