Alceste Scalas -

Registered user since Mon 18 Apr 2016

Name:Alceste Scalas

Country:Denmark

Affiliation:Technical University of Denmark

Personal website:https://people.compute.dtu.dk/alcsc/

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