Luca Padovani

According to our database, Luca Padovani authored at least 78 papers between 2001 and 2023.

Collaborative distances:

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

2023

EXPRESSing Session Types.

Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

A Logical Account of Subtyping for Session Types.

Ross Horne, Luca Padovani

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

2022

Fair termination of binary sessions.

Luca Ciccone, Luca Padovani

Proc. ACM Program. Lang., 2022

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.

Luca Ciccone, Luca Padovani

Log. Methods Comput. Sci., 2022

Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020.

Stephanie Balzer, Luca Padovani

J. Log. Algebraic Methods Program., 2022

Distributed workflows with Jupyter.

Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicolò Magini, Carlo Cavazzoni

Future Gener. Comput. Syst., 2022

On the Fair Termination of Client-Server Sessions.

Luca Padovani

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Fair Termination of Multiparty Sessions.

Luca Ciccone, Francesco Dagnino, Luca Padovani

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.

Luca Ciccone, Luca Padovani

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

2021

Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.

Luca Ciccone, Luca Padovani

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

A Dependently Typed Linear π-Calculus in Agda.

Luca Ciccone, Luca Padovani

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Probabilistic Analysis of Binary Sessions.

Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Context-Free Session Type Inference.

Luca Padovani

ACM Trans. Program. Lang. Syst., 2019

Concurrent Typestate-Oriented Programming in Java.

Rosita Gerbo, Luca Padovani

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Foundations of Session Types: 10 Years Later.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Deadlock Analysis of Wait-Notify Coordination.

Cosimo Laneve, Luca Padovani

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Deadlock-Free Typestate-Oriented Programming.

Luca Padovani

Art Sci. Eng. Program., 2018

A type checking algorithm for concurrent object protocols.

Luca Padovani

J. Log. Algebraic Methods Program., 2018

A core calculus for dynamic delta-oriented programming.

Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl

Acta Informatica, 2018

Mailbox Types for Unordered Interactions.

Ugo de'Liguoro, Luca Padovani

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

The Chemical Approach to Typestate-Oriented Programming.

Silvia Crafa, Luca Padovani

ACM Trans. Program. Lang. Syst., 2017

Chaperone contracts for higher-order sessions.

Hernán C. Melgratti, Luca Padovani

Proc. ACM Program. Lang., 2017

On Sessions and Infinite Data.

Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

Log. Methods Comput. Sci., 2017

A simple library implementation of binary sessions.

Luca Padovani

J. Funct. Program., 2017

2016

Fair subtyping for multi-party session types.

Luca Padovani

Math. Struct. Comput. Sci., 2016

Global progress for dynamically interleaved multiparty sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Foundations of Session Types and Behavioural Contracts.

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

ACM Comput. Surv., 2016

On the chemistry of typestate-oriented actors.

Silvia Crafa, Luca Padovani

CoRR, 2016

2015

An algebraic theory for web service contracts.

Cosimo Laneve, Luca Padovani

Formal Aspects Comput., 2015

Type Reconstruction for the Linear π-Calculus with Composite Regular Types.

Luca Padovani

Log. Methods Comput. Sci., 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Formal Methods for Multicore Programming, 2015

Types for Deadlock-Free Higher-Order Programs.

Luca Padovani, Luca Novara

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

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.

Luca Padovani, Tzu-Chun Chen, Andrea Tosatto

Proceedings of the Coordination Models and Languages, 2015

2014

Exception handling for copyless messaging.

Svetlana Jaksic, Luca Padovani

Sci. Comput. Program., 2014

Session Type Isomorphisms.

Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.

Luca Padovani

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Deadlock and lock freedom in the linear π-calculus.

Luca Padovani

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Typing Liveness in Multiparty Communicating Systems.

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

Proceedings of the Coordination Models and Languages, 2014

2013

From Lock Freedom to Progress Using Session Types.

Luca Padovani

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Fair Subtyping for Open Session Types.

Luca Padovani

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

Viviana Bono, Luca Padovani, Andrea Tosatto

Proceedings of the Formal Techniques for Distributed Systems, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

On projecting processes into session types.

Luca Padovani

Math. Struct. Comput. Sci., 2012

On Global Types and Multi-Party Session

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

Log. Methods Comput. Sci., 2012

Typing Copyless Message Passing

Viviana Bono, Luca Padovani

Log. Methods Comput. Sci., 2012

A formal foundation for dynamic delta-oriented software product lines.

Ferruccio Damiani, Luca Padovani, Ina Schaefer

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Polymorphic Endpoint Types for Copyless Message Passing

Viviana Bono, Luca Padovani

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

On Global Types and Multi-party Sessions.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

Proceedings of the Formal Techniques for Distributed Systems, 2011

Typing Copyless Message Passing.

Viviana Bono, Chiara Messa, Luca Padovani

Proceedings of the Programming Languages and Systems, 2011

2010

Contract-based discovery of Web services modulo simple orchestrators.

Luca Padovani

Theor. Comput. Sci., 2010

Session Types = Intersection Types + Union Types

Luca Padovani

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi

Proceedings of the 11th WOA 2010 Workshop, 2010

2009

A theory of contracts for Web services.

Giuseppe Castagna, Nils Gesbert, Luca Padovani

ACM Trans. Program. Lang. Syst., 2009

PiDuce - A project for experimenting Web services technologies.

Samuele Carpineti, Cosimo Laneve, Luca Padovani

Sci. Comput. Program., 2009

Session Types at the Mirror

Luca Padovani

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Contract-Based Discovery and Adaptation of Web Services.

Luca Padovani

Proceedings of the Formal Methods for Web Services, 2009

Foundations of session types.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Contracts for Mobile Processes.

Giuseppe Castagna, Luca Padovani

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Contract-Directed Synthesis of Simple Orchestrators.

Luca Padovani

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

The Pairing of Contracts and Session Types.

Cosimo Laneve, Luca Padovani

Proceedings of the Concurrency, 2008

2007

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.

Marco Bernardo, Luca Padovani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

The <i>Must</i> Preorder Revisited.

Cosimo Laneve, Luca Padovani

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

A Formal Account of Contracts for Web Services.

Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

From Notation to Semantics: There and Back Again.

Luca Padovani, Stefano Zacchiroli

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Smooth Orchestrators.

Cosimo Laneve, Luca Padovani

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

A Distributed Implementation of Mobile Nets as Mobile Agents.

Nadia Busi, Luca Padovani

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Compilation of Generic Regular Path Expressions Using C++ Class Templates.

Luca Padovani

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Interactive Editing of MathML Markup Using TEX Syntax.

Luca Padovani

Proceedings of the TeX, 2004

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.

Luca Padovani, Riccardo Solmi

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Qsmodels: ASP Planning in Interactive Gaming Environment.

Luca Padovani, Alessandro Provetti

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Generative Approach to the Implementation of Language Bindings for the Document Object Model.

Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

Mathematical Knowledge Management in HELM.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Ann. Math. Artif. Intell., 2003

On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions.

Luca Padovani

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2001

HELM and the Semantic Math-Web.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

The Gnome DOM Engine.

Paolo Casarini, Luca Padovani

Proceedings of the Extreme Markup Languages® 2001 Conference, 2001

XML, Stylesheets and the Re-mathematization of Formal Content.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena

Proceedings of the Extreme Markup Languages® 2001 Conference, 2001