Publications

2022

  • Luca Ciccone, Luca Padovani, An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus, Proceedings of the 33rd international conference on concurrency theory (CONCUR’22), pages 36:1-36:18, 2022.
    doi> .bib
    long version
    .pdf
  • Luca Ciccone, Luca Padovani, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, Logical Methods in Computer Science, pages 27:1-27:29, 2022.
  • Luca Ciccone, Francesco Dagnino, Luca Padovani, Fair Termination of Multiparty Sessions, Proceedings of the 36th european conference on object-oriented programming (ECOOP’22), pages 26:1-26:26, 2022.
    doi> .bib .pdf
    long version
    .pdf
    distinguished paper award
  • 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, Journal of Logical and Algebraic Methods in Programming, 2022.
  • Luca Ciccone, Luca Padovani, Fair Termination of Binary Sessions, Proceedings of the ACM on Programming Languages, pages 5:1-5:30, 2022.
    doi> abstract .bib
    preprint
    .pdf
    long version
    .pdf
  • 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 Generation Computer Systems, pages 282-298, 2022.
    doi> abstract .bib
    editor's choice paper in fall 2022

2021

  • Luca Ciccone, Luca Padovani, Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types, Proceedings of the 48th international colloquium on automata, languages, and programming (ICALP’21), pages 125:1-125:16, 2021.
    doi> .bib .pdf
    long version
    .pdf

2020

  • Luca Ciccone, Luca Padovani, A Dependently Typed Linear π-Calculus in Agda, Proceedings of the 22nd international symposium on principles and practice of declarative programming (PPDP’20), pages 8:1-8:14, 2020.
    doi> .bib
    preprint
    .pdf
  • Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto, Probabilistic Analysis of Binary Sessions, Proceedings of the 31st international conference on concurrency theory (CONCUR’20), pages 14:1-14:21, 2020.
    doi> .bib .pdf
    long version
    .pdf
    slides
    .pdf
  • Stephanie Balzer, Luca Padovani, Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020.

2019

  • Rosita Gerbo, Luca Padovani, Concurrent Typestate-Oriented Programming in Java, Proceedings of the 11th workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’19), pages 24-34, 2019.
    doi> .bib .pdf
    slides
    .pdf
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani, Foundations of Session Types: 10 Years Later, Proceedings of the 21st international ACM SIGPLAN symposium on principles and practice of declarative programming (PPDP’19), pages 1:1-1:3, 2019.
  • Luca Padovani, Context-Free Session Type Inference, ACM Transactions on Programming Languages and Systems, pages 9:1-9:37, 2019.
  • Cosimo Laneve, Luca Padovani, Deadlock Analysis of Wait-Notify Coordination, The art of modelling computational systems: A journey from logic and concurrency to security and privacy, pages 50-67, 2019.

2018

  • Ugo Liguoro, Luca Padovani, Mailbox Types for Unordered Interactions, Proceedings of the 32nd european conference on object-oriented programming (ECOOP’18), pages 15:1-15:28, 2018.
    doi> .pdf
    long version
    .pdf
    slides
    .pdf
  • Luca Padovani, A Type Checking Algorithm for Concurrent Object Protocols, Journal of Logical and Algebraic Methods in Programming, pages 16-35, 2018.
  • Luca Padovani, Deadlock-Free Typestate-Oriented Programming, Programming Journal, pages article 15, 2018.
    doi> .pdf
    slides
    .pdf
  • Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl, A Core Calculus for Dynamic Delta-Oriented Programming, Acta Informatica, pages 269-307, 2018.
  • Marco Aldinucci, Luca Padovani, Massimo Torquati, Euro-Par 2018: Parallel Processing, 2018.

2017

  • Silvia Crafa, Luca Padovani, The Chemical Approach to Typestate-Oriented Programming, ACM Transactions on Programming Languages and Systems, pages 13:1-13:45, 2017.
  • Hernán Melgratti, Luca Padovani, Chaperone Contracts for Higher-Order Sessions, Proceedings of the ACM on Programming Languages, pages 35:1-35:29, 2017.
    doi>
    long version
    .pdf
    slides
    .pdf
  • Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini, On Sessions and Infinite Data, Logical Methods in Computer Science, pages 1-39, 2017.
  • Luca Padovani, A Simple Library Implementation of Binary Sessions, Journal of Functional Programming, 2017.
  • Luca Padovani, Context-Free Session Type Inference, Proceedings of the 26th european symposium on programming (ESOP’17), pages 804-830, 2017.
    doi>
    long version
    .pdf
    slides
    .pdf
    best paper nomination
  • Hernán Melgratti, Luca Padovani, An OCaml Implementation of Binary Sessions, Behavioural types: From theory to tools, pages 243-263, 2017.
  • Luca Padovani, Type-Based Analysis of Linear Communications, Behavioural types: From theory to tools, pages 193-217, 2017.

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 Computing Surveys, pages 3:1-3:36, 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, Foundations and Trends in Programming Languages, pages 95-230, 2016.
  • Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini, On Sessions and Infinite Data, Proceedings of the 18th international conference on coordination models and languages (COORDINATION’16), pages 245-261, 2016.
    doi>
    best paper nomination
  • Luca Padovani, Fair Subtyping for Multi-Party Session Types, Mathematical Structures in Computer Science, pages 424-464, 2016.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani, Global Progress for Dynamically Interleaved Multiparty Sessions, Mathematical Structures in Computer Science, pages 238-302, 2016.

2015

  • Silvia Crafa, Luca Padovani, The Chemical Approach to Typestate-Oriented Programming, Proceedings of the ACM international conference on object oriented programming systems languages & applications (OOPSLA’15), pages 917-934, 2015.
    doi>
    slides
    .pdf
  • Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, Logical Methods in Computer Science, pages 1-45, 2015.
    doi>
    long version
    .pdf
  • Luca Padovani, Luca Novara, Types for Deadlock-Free Higher-Order Programs, Proceedings of the IFIP international conference on formal methods and techniques (FORTE’15), pages 3-18, 2015.
    doi>
    slides
    .pdf
  • Luca Padovani, Tzu-Chun Chen, Andrea Tosatto, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, Proceedings of the 17th international conference on coordination models and languages (COORDINATION’15), pages 83-98, 2015.
    doi>
    slides
    .pdf
  • Cosimo Laneve, Luca Padovani, An Algebraic Theory for Web Service Contracts, Formal Aspects of Computing, pages 613-640, 2015.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida, A Gentle Introduction to Multiparty Asynchronous Session Types, International school on formal methods for the design of computer, communication and software systems (SFM’15), pages 146-178, 2015.

2014

  • Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantović, Session Type Isomorphisms, Proceedings of the workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’14), pages 61-71, 2014.
  • Luca Padovani, Vasco T. Vasconcelos, Hugo Torres Vieira, Typing Liveness in Multiparty Communicating Systems, Proceedings of the 16th international conference on coordination models and languages (COORDINATION’14), pages 147-162, 2014.
  • Luca Padovani, Deadlock and Lock Freedom in the Linear π-Calculus, Proceedings of the joint EACSL annual conference on computer science logic and annual ACM/IEEE symposium on logic in computer science (CSL-LICS’14), pages 72:1-72:10, 2014.
    doi>
    slides
    .pdf
  • Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, Proceedings of the 17th international conference on foundations of software science and computation structures (FoSSaCS’14), pages 88-102, 2014.
    doi>
    slides
    .pdf
    best paper nomination
  • Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, Science of Computer Programming, pages 22-51, 2014.
  • Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung Im, Sergueı̈ Lenglet, Luca Padovani, Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation, Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL’14), pages 5-17, 2014.

2013

  • Luca Padovani, From Lock Freedom to Progress Using Session Types, Proceedings of workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’13), pages 3-19, 2013.
    doi> abstract
    slides
    .pdf
  • Luca Padovani, Fair Subtyping for Open Session Types, Proceedings of the 40th international colloquium on automata, languages and programming (ICALP’13), part II, pages 373-384, 2013.
    doi>
    long version
    .pdf
    slides
    .pdf
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, Proceedings of the 15th international conference on coordination models and languages (COORDINATION’13), pages 45-59, 2013.
    doi>
    slides
    .pdf
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, Proceedings of the 1st international workshop on behavioural types (BEAT’13), pages 16-27, 2013.
    abstract
    slides
    .pdf
  • Viviana Bono, Luca Padovani, Andrea Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, Proceedings of the IFIP international conference on formal methods and techniques (FORTE’13), pages 83-98, 2013.
  • Cosimo Laneve, Luca Padovani, An Algebraic Theory for Web Service Contracts, Proceedings of the 10th international conference on integrated formal methods (IFM’13), pages 301-315, 2013.

2012

  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, On Global Types and Multi-Party Sessions, Logical Methods in Computer Science, pages 1-45, 2012.
  • Luca Padovani, On Projecting Processes into Session Types, Mathematical Structures in Computer Science, pages 237-289, 2012.
  • Ferruccio Damiani, Luca Padovani, Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, Proceedings of the 11th international conference on generative programming and component engineering (GPCE’12), pages 1-10, 2012.
    doi> abstract
    eapls best paper
  • Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, Proceedings of the 14th international ACM SIGPLAN symposium on principles and practice of declarative programming (PPDP’12), pages 151-162, 2012.
    doi> abstract
    slides
    .pdf
  • Viviana Bono, Luca Padovani, Typing Copyless Message Passing, Logical Methods in Computer Science, pages 1-50, 2012.

2011

  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, On Global Types and Multi-Party Sessions, Proceedings of the IFIP international conference on formal methods for open object-based distributed systems (FMOODS’11), pages 1-28, 2011.
  • Luca Padovani, Session Types = Intersection Types + Union Types, Proceedings of the workshop on intersection types and related systems (ITRS’10), pages 71-89, 2011.
    doi> abstract
    slides
    .pdf
  • Luca Padovani, Fair Subtyping for Multi-Party Session Types, Proceedings of the 13th international conference on coordination models and languages (COORDINATION’11), pages 127-141, 2011.
    doi> abstract
    slides
    .pdf
  • Viviana Bono, Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, Proceedings of the 4th interaction and concurrency experience (ICE’11), pages 52-67, 2011.
    doi> abstract
    slides
    .pdf
  • Viviana Bono, Chiara Messa, Luca Padovani, Typing Copyless Message Passing, Proceedings of the 20th european symposium on programming (ESOP’11), pages 57-76, 2011.

2010

  • Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, Theoretical Computer Science, pages 3328-3347, 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, Proceedings of the 11th international workshop on coordination, organization, institutions and norms in multi-agent systems (COIN’10), pages 134-149, 2010.

2009

  • Luca Padovani, Session Types at the Mirror, Proceedings of the 2nd interaction and concurrency experience (ICE’09), pages 71-86, 2009.
    doi> abstract
    slides
    .pdf
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani, Foundations of Session Types, Proceedings of the 11th international ACM SIGPLAN symposium on principles and practice of declarative programming (PPDP’09), pages 219-230, 2009.
    doi> abstract
    ppdp Most Influential Paper 10-Year Award
  • Samuele Carpineti, Cosimo Laneve, Luca Padovani, PiDuce - A Project for Experimenting Web Services Technologies, Science of Computer Programming, pages 777-811, 2009.
  • Giuseppe Castagna, Luca Padovani, Contracts for Mobile Processes, Proceedings of the 20th international conference on concurrency theory (CONCUR’09), pages 211-228, 2009.
    doi> abstract
    slides
    .pdf
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, ACM Transactions on Programming Languages and Systems, pages 19:1-19:61, 2009.
  • Luca Padovani, Contract-based Discovery and Adaptation of Web Services, International school on formal methods for the design of computer, communication and software systems (SFM’09), pages 213-260, 2009.
    doi> abstract
    slides
    .pdf
  • Marco Bernardo, Luca Padovani, Gianluigi Zavattaro, Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM’09), Advanced Lectures, 2009.

2008

  • Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, Proceedings of the 19th international conference on concurrency theory (CONCUR’08), pages 131-146, 2008.
    doi> abstract
    slides
    .pdf
  • Cosimo Laneve, Luca Padovani, The Pairing of Contracts and Session Types, Concurrency, graphs and models (Ugo65’08), pages 681-700, 2008.
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL’08), pages 261-272, 2008.

2007

  • Cosimo Laneve, Luca Padovani, The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts, Proceedings of the 18th international conference on concurrency theory (CONCUR’07), pages 212-225, 2007.
    doi> abstract
    slides
    .pdf
  • Marco Bernardo, Luca Padovani, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, Proceedings of the 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), pages 269-284, 2007.
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, Proceedings of the ACM SIGPLAN workshop on programming language technologies for XML (PLAN-x’07), pages 37-48, 2007.

2006

  • Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani, A Formal Account of Contracts for Web Services, Proceedings of the 3rd international workshop on web services and formal methods (WS-FM’06), pages 148-162, 2006.
  • Cosimo Laneve, Luca Padovani, Smooth Orchestrators, Proceedings of international conference on foundations of software science and computation structures (FoSSaCS’06), pages 32-46, 2006.
    doi> abstract
    slides
    .pdf
  • Luca Padovani, Stefano Zacchiroli, From Notation to Semantics: There and Back Again, Proceedings of the 5th international conference on mathematical knowledge management (MKM’06), pages 194-207, 2006.

2005

  • Nadia Busi, Luca Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, Proceedings of the 7th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’05), pages 259-274, 2005.
  • Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, Proceedings of the 14th international conference on compiler construction (CC’05), pages 27-42, 2005.
    doi> abstract
    slides
    .pdf

2004

  • Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, Proceedings of the 3rd international conference on generative programming and component engineering (GPCE’04), pages 469-487, 2004.
  • Luca Padovani, Riccardo Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, Proceedings of the 3rd international conference on mathematical knowledge management (MKM’04), pages 302-316, 2004.
  • Luca Padovani, A Math Canvas for the GNOME Desktop, Proceedings of the 5th annual GNOME user and developer european conference (GUADEC’04), 2004.
    abstract
    slides
    .pdf
  • Luca Padovani, Interactive Editing of MathML Markup Using TeX Syntax, Proceedings of the international conference on TeX, XML, and digital typography (TUG’04), pages 125-138, 2004.

2003

  • Luca Padovani, On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions, Proceedings of the 2nd international conference on mathematical knowledge management (MKM’03), pages 66-79, 2003.
  • Luca Padovani, MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality, The Communications of the TeX Users Group, pages 53-61, 2003.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena, Mathematical Knowledge Management in HELM, Annals of Mathematics and Artificial Intelligence, pages 27-46, 2003.

2002

  • Paolo Casarini, Luca Padovani, The GNOME DOM Engine, Markup Languages: Theory & Practice, pages 173-190, 2002.
  • Luca Padovani, A Standalone Rendering Engine for MathML, Proceedings of the MathML international conference (MathML’02), pages 109-114, 2002.
  • Yuzhen Xie, Stephen M. Watt, Luca Padovani, A Lisp Subset Based on MathML, Proceedings of the MathML international conference (MathML’02), pages 101-108, 2002.

2001

  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, HELM and the Semantic Math-Web, Proceedings of the international conference on theorem proving in higher order logics (TPHOLs’01), pages 59-74, 2001.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, XML, Stylesheets and the Re-mathematization of Formal Content, Proceedings of the extreme markup languages conference (EXTREME’01), pages 17-27, 2001.
  • Paolo Casarini, Luca Padovani, The GNOME DOM Engine, Proceedings of the extreme markup languages conference (EXTREME’01), pages 45-53, 2001.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Formal Mathematics on the Web, Proceedings of the 8th international conference on libraries and associations in the transient world: New technologies and new forms of cooperation (crimea’01), pages 342-346, 2001.
    text
    .html

About Me

I'm an associate professor in Computer Science at the Computer Science Division of the School of Science and Technology of the University of Camerino. ¶ My research interests span both theory and practice in the areas of programming languages, type systems, concurrency theory, distributed computing and formal verification.

Contact Information

Public Profiles