Alceste Scalas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
7
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Compositional Design, Implementation, and Verification of Swarms. | Florian Furbach, Lucas Clorius, Roland Kuhn, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2026 | ECOOP | NEST: Network Enforced Session Types. | Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster |
| 2025 | ICTAC | On Asynchronous Multiparty Session Types for Federated Learning. | Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida |
| 2024 | Coordination | Encoding Petri Nets into CCS. | Benjamin Bog, Andrea Burattin, Alceste Scalas |
| 2024 | Coordination | COTS: Connected OpenAPI Test Synthesis for RESTful Applications. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Emilio Tuosto |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | 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 |
| 2024 | ECOOP | Fair Join Pattern Matching for Actors. | Philipp Haller, Ayman Hussein, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto |
| 2022 | CONCUR | Generalised Multiparty Session Types with Crash-Stop Failures. | Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou |
| 2021 | Coordination | Towards Probabilistic Session-Type Monitoring. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
| 2021 | ECOOP | On the Monitorability of Session Types, in Theory and Practice. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2021 | FC | A Formal Model of Algorand Smart Contracts. | Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino |
| 2020 | FORTE | Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 2019 | PLDI | Verifying message-passing programs with dependent behavioural types. | Alceste Scalas, Nobuko Yoshida, Elias Benussi |
| 2017 | ECOOP | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. | Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
| 2016 | ECOOP | Lightweight Session Programming in Scala. | Alceste Scalas, Nobuko Yoshida |
| 2014 | CONCUR | A Semantic Deconstruction of Session Types. | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
| 2013 | FORTE | Honesty by Typing. | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |