Alceste Scalas

According to our database, Alceste Scalas authored at least 32 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

P4R-Type: A Verified API for P4 Control Plane Programs.

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

Proc. ACM Program. Lang., October, 2023

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

CoRR, 2023

2022

PSTMonitor: Monitor synthesis from probabilistic session types.

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Sci. Comput. Program., 2022

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

CoRR, 2022

Generalised Multiparty Session Types with Crash-Stop Failures.

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Precise subtyping for asynchronous multiparty sessions.

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2021

On the Monitorability of Session Types, in Theory and Practice (Artifact).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Dagstuhl Artifacts Ser., 2021

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).

Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas

Dagstuhl Reports, 2021

On the Monitorability of Session Types, in Theory and Practice (Extended Version).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

CoRR, 2021

A Formal Model of Algorand Smart Contracts.

Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino

Proceedings of the Financial Cryptography and Data Security, 2021

On the Monitorability of Session Types, in Theory and Practice.

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Towards Probabilistic Session-Type Monitoring.

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Proceedings of the Coordination Models and Languages, 2021

2020

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

Less is more: multiparty session types revisited.

Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2019

Precise subtyping for synchronous multiparty sessions.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019

Effpi: verified message-passing programs in Dotty.

Alceste Scalas, Nobuko Yoshida, Elias Benussi

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Verifying message-passing programs with dependent behavioural types.

Alceste Scalas, Nobuko Yoshida, Elias Benussi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Multiparty session types, beyond duality.

Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2018

2017

On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

Log. Methods Comput. Sci., 2017

Verifiable abstractions for contract-oriented systems.

Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino

J. Log. Algebraic Methods Program., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2017

Multiparty Session Types, Beyond Duality (Abstract).

Alceste Scalas, Nobuko Yoshida

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Lightweight Session Programming in Scala (Artifact).

Alceste Scalas, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2016

Honesty by Typing

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino

Log. Methods Comput. Sci., 2016

Lightweight Session Programming in Scala.

Alceste Scalas, Nobuko Yoshida

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Choreographies in the wild.

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino

Sci. Comput. Program., 2015

The LTS WorkBench.

Alceste Scalas, Massimo Bartoletti

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

2014

Modelling and Verifying Contract-Oriented Systems in Maude.

Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

A Semantic Deconstruction of Session Types.

Massimo Bartoletti, Alceste Scalas, Roberto Zunino

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Choreography Synthesis as Contract Agreement.

Julien Lange, Alceste Scalas

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

2008

High-performance technical computing with erlang.

Alceste Scalas, Giovanni Casu, Piero Pili

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008