MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Dr Alceste Scalas

Research Associate

www
dblp

Alceste is now at Technical University of Denmark

Publications

2023

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida: Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Logic .

2022

Adam Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou: Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 22 : 35:1 - 35:25.

2021

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida: Precise Subtyping for Asynchronous Multiparty Sessions. POPL 2021 : 16:1 - 16:28.

2019

Alceste Scalas, Nobuko Yoshida: Less Is More: Multiparty Session Types Revisited. POPL 2019 : 30:1 - 30:29.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida: Precise subtyping for synchronous multiparty sessions. JLAMP : 127 - 173.

Alceste Scalas, Nobuko Yoshida, Elias Benussi: Verifying message-passing programs with dependent behavioural types. PLDI 2019 : 502 - 516.

2018

Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. JLAMP : 55 - 84.

2017

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017 : 24:1 - 24:31.

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino: Honesty by Typing. LMCS .

Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. PLACES 2017 : 37 - 38.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida: On the Preciseness of Subtyping in Session Types. LMCS : 1 - 62.

2016

Alceste Scalas, Nobuko Yoshida: Lightweight Session Programming in Scala. ECOOP 2016 : 21:1 - 21:28.

2015

Alceste Scalas, Massimo Bartoletti: The LTS WorkBench. ICE 2015 : 86 - 98.

2014

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino: Choreographies in the Wild. SCP : 1 - 25.