Alceste Scalas

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 39

Top Topics

Communication Protocol

Programming Language

Top Venues

J. Log. Algebraic Methods Program.

Proc. ACM Program. Lang.

Publications

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS (2024)
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. COORDINATION (2024)
Benjamin Bogø, Andrea Burattin, Alceste Scalas
Encoding Petri Nets into CCS. COORDINATION (2024)
Benjamin Bogø, Andrea Burattin, Alceste Scalas
Encoding Petri Nets into CCS (Technical Report). CoRR (2024)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. CoRR (2024)
Ilaria Castellani, Alceste Scalas
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. CoRR (2023)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: A Verified API for P4 Control Plane Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24 (2) (2023)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). CoRR (2023)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor Synthesis from Probabilistic Session Types. CoRR (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
PSTMonitor: Monitor synthesis from probabilistic session types. Sci. Comput. Program. 222 (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR (2022)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. COORDINATION (2021)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). Dagstuhl Reports 11 (8) (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice (Extended Version). CoRR (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Towards Probabilistic Session-Type Monitoring. CoRR (2021)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
On the Monitorability of Session Types, in Theory and Practice. ECOOP (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR (2020)
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). FORTE (2020)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A formal model of Algorand smart contracts. CoRR (2020)
Alceste Scalas, Nobuko Yoshida, Elias Benussi
Verifying message-passing programs with dependent behavioural types. PLDI (2019)
Alceste Scalas, Nobuko Yoshida, Elias Benussi
Effpi: verified message-passing programs in Dotty. SCALA@ECOOP (2019)
Alceste Scalas, Nobuko Yoshida
Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3 (POPL) (2019)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104 (2019)
Alceste Scalas, Nobuko Yoshida
Multiparty session types, beyond duality. J. Log. Algebraic Methods Program. 97 (2018)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86 (1) (2017)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP (2017)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13 (2) (2017)
Alceste Scalas, Nobuko Yoshida
Multiparty Session Types, Beyond Duality (Abstract). PLACES@ETAPS (2017)
Alceste Scalas, Nobuko Yoshida
Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing Log. Methods Comput. Sci. 12 (4) (2016)
Alceste Scalas, Nobuko Yoshida
Lightweight Session Programming in Scala. ECOOP (2016)
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
On the Preciseness of Subtyping in Session Types. CoRR (2016)
Alceste Scalas, Massimo Bartoletti
The LTS WorkBench. ICE (2015)
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
Choreographies in the wild. Sci. Comput. Program. 109 (2015)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA (2014)
Massimo Bartoletti, Alceste Scalas, Roberto Zunino
A Semantic Deconstruction of Session Types. CONCUR (2014)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing. FMOODS/FORTE (2013)
Julien Lange, Alceste Scalas
Choreography Synthesis as Contract Agreement. ICE (2013)
Alceste Scalas, Giovanni Casu, Piero Pili
High-performance technical computing with erlang. Erlang Workshop (2008)