Luca Padovani

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 43

Top Venues

CoRR

J. Log. Algebraic Methods Program.

COORDINATION

Log. Methods Comput. Sci.

Publications

Ross Horne, Luca Padovani
A logical account of subtyping for session types. J. Log. Algebraic Methods Program. 141 (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)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair termination of multiparty sessions. J. Log. Algebraic Methods Program. 139 (2024)
Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR (2024)
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
EXPRESSing Session Types. EXPRESS/SOS (2023)
Ross Horne, Luca Padovani
A Logical Account of Subtyping for Session Types. CoRR (2023)
Luca Ciccone, Luca Padovani
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CONCUR (2022)
Luca Padovani
On the Fair Termination of Client-Server Sessions. CoRR (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. ECOOP (2022)
Luca Padovani
On the Fair Termination of Client-Server Sessions. TYPES (2022)
Stephanie Balzer, Luca Padovani
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. J. Log. Algebraic Methods Program. 127 (2022)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. Log. Methods Comput. Sci. 18 (3) (2022)
Luca Ciccone, Luca Padovani
Fair termination of binary sessions. Proc. ACM Program. Lang. 6 (POPL) (2022)
Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicolò Magini, Carlo Cavazzoni
Distributed workflows with Jupyter. Future Gener. Comput. Syst. 128 (2022)
Luca Ciccone, Luca Padovani
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CoRR (2022)
Luca Ciccone, Francesco Dagnino, Luca Padovani
Fair Termination of Multiparty Sessions. CoRR (2022)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. CoRR (2021)
Luca Ciccone, Luca Padovani
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. ICALP (2021)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CoRR (2020)
Luca Ciccone, Luca Padovani
A Dependently Typed Linear π-Calculus in Agda. PPDP (2020)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CONCUR (2020)
Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems (2019)
Luca Padovani
Context-Free Session Type Inference. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Rosita Gerbo, Luca Padovani
Concurrent Typestate-Oriented Programming in Java. PLACES@ETAPS (2019)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of Session Types: 10 Years Later. PPDP (2019)
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl
A core calculus for dynamic delta-oriented programming. Acta Informatica 55 (4) (2018)
Ugo de'Liguoro, Luca Padovani
Mailbox Types for Unordered Interactions. ECOOP (2018)
Luca Padovani
A type checking algorithm for concurrent object protocols. J. Log. Algebraic Methods Program. 100 (2018)
Luca Padovani
Deadlock-Free Typestate-Oriented Programming. CoRR (2018)
Ugo de'Liguoro, Luca Padovani
Mailbox Types for Unordered Interactions. CoRR (2018)
Luca Padovani
Deadlock-Free Typestate-Oriented Programming. Art Sci. Eng. Program. 2 (3) (2018)
Luca Padovani
A simple library implementation of binary sessions. J. Funct. Program. 27 (2017)
Hernán C. Melgratti, Luca Padovani
Chaperone contracts for higher-order sessions. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Luca Padovani
Context-Free Session Type Inference. ESOP (2017)
Silvia Crafa, Luca Padovani
The Chemical Approach to Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13 (2) (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. COORDINATION (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. CoRR (2016)
Silvia Crafa, Luca Padovani
On the chemistry of typestate-oriented actors. CoRR (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26 (2) (2016)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Luca Padovani
Fair subtyping for multi-party session types. Math. Struct. Comput. Sci. 26 (3) (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Luca Padovani
Type Reconstruction for the Linear π-Calculus with Composite Regular Types. Log. Methods Comput. Sci. 11 (4) (2015)
Cosimo Laneve, Luca Padovani
An algebraic theory for web service contracts. Formal Aspects Comput. 27 (4) (2015)
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. COORDINATION (2015)
Silvia Crafa, Luca Padovani
The chemical approach to typestate-oriented programming. OOPSLA (2015)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM (2015)
Luca Padovani, Luca Novara
Types for Deadlock-Free Higher-Order Programs. FORTE (2015)
Luca Padovani, Alessandro Provetti
Qsmodels: ASP Planning in Interactive Gaming Environment. CoRR (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Svetlana Jaksic, Luca Padovani
Exception handling for copyless messaging. Sci. Comput. Program. 84 (2014)
Luca Padovani
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. FoSSaCS (2014)
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
Typing Liveness in Multiparty Communicating Systems. COORDINATION (2014)
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Session Type Isomorphisms. PLACES (2014)
Luca Padovani
Deadlock and lock freedom in the linear π-calculus. CSL-LICS (2014)
Luca Padovani
Fair Subtyping for Open Session Types. ICALP (2) (2013)
Viviana Bono, Luca Padovani, Andrea Tosatto
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE (2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION (2013)
Luca Padovani
From Lock Freedom to Progress Using Session Types. PLACES (2013)
Cosimo Laneve, Luca Padovani
An Algebraic Theory for Web Service Contracts. IFM (2013)
Svetlana Jaksic, Luca Padovani
Exception handling for copyless messaging. PPDP (2012)
Ferruccio Damiani, Luca Padovani, Ina Schaefer
A formal foundation for dynamic delta-oriented software product lines. GPCE (2012)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-Party Session Log. Methods Comput. Sci. 8 (1) (2012)
Viviana Bono, Luca Padovani
Typing Copyless Message Passing Log. Methods Comput. Sci. 8 (1) (2012)
Luca Padovani
On projecting processes into session types. Math. Struct. Comput. Sci. 22 (2) (2012)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-party Sessions. FMOODS/FORTE (2011)
Viviana Bono, Luca Padovani
Polymorphic Endpoint Types for Copyless Message Passing ICE (2011)
Viviana Bono, Chiara Messa, Luca Padovani
Typing Copyless Message Passing. ESOP (2011)
Luca Padovani
Fair Subtyping for Multi-party Session Types. COORDINATION (2011)
Luca Padovani
Contract-based discovery of Web services modulo simple orchestrators. Theor. Comput. Sci. 411 (37) (2010)
Luca Padovani
Session Types = Intersection Types + Union Types ITRS (2010)
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW (2010)
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA (2010)
Giuseppe Castagna, Luca Padovani
Contracts for Mobile Processes. CONCUR (2009)
Luca Padovani
Session Types at the Mirror ICE (2009)
Luca Padovani
Contract-Based Discovery and Adaptation of Web Services. SFM (2009)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of session types. PPDP (2009)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31 (5) (2009)
Samuele Carpineti, Cosimo Laneve, Luca Padovani
PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74 (10) (2009)
Cosimo Laneve, Luca Padovani
The Pairing of Contracts and Session Types. Concurrency, Graphs and Models (2008)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for web services. POPL (2008)
Luca Padovani
Contract-Directed Synthesis of Simple Orchestrators. CONCUR (2008)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A Theory of Contracts for Web Services. PLAN-X (2007)
Cosimo Laneve, Luca Padovani
Preorder Revisited. CONCUR (2007)
Marco Bernardo, Luca Padovani
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS (2007)
Cosimo Laneve, Luca Padovani
Smooth Orchestrators. FoSSaCS (2006)
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
A Formal Account of Contracts for Web Services. WS-FM (2006)
Luca Padovani, Stefano Zacchiroli
From Notation to Semantics: There and Back Again. MKM (2006)
Nadia Busi, Luca Padovani
A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS (2005)
Luca Padovani
Compilation of Generic Regular Path Expressions Using C++ Class Templates. CC (2005)
Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. GPCE (2004)
Luca Padovani, Alessandro Provetti
Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA (2004)
Luca Padovani
Interactive Editing of MathML Markup Using TEX Syntax. TEX, XML, and Digital Typography (2004)
Luca Padovani, Riccardo Solmi
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. MKM (2004)
Luca Padovani
X and MathML in Encoding and Processing Mathematical Expressions. MKM (2003)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
HELM and the Semantic Math-Web. TPHOLs (2001)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® (2001)
Paolo Casarini, Luca Padovani
The Gnome DOM Engine. Extreme Markup Languages® (2001)

Luca Padovani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca Padovani