Publications

2022

  • Luca Ciccone, Luca Padovani, Fair Termination of Binary Sessions, Proceedings of the ACM on Programming Languages, vol. 6(POPL), pages 5:1–5:30, 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 Generation Computer Systems, vol. 128, pages 282-298, 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.

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.
  • 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.
  • Stephanie Balzer, Luca Padovani, Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, EPTCS 314, 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.
  • 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, vol. 41(2), 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 de’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.
  • Luca Padovani, A Type Checking Algorithm for Concurrent Object Protocols, Journal of Logical and Algebraic Methods in Programming, vol. 100, pages 16-35, 2018.
  • Luca Padovani, Deadlock-Free Typestate-Oriented Programming, Programming Journal, vol. 2(3), pages article 15, 2018.
  • Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl, A Core Calculus for Dynamic Delta-Oriented Programming, Acta Informatica, vol. 55(4), pages 269-307, 2018.
  • Marco Aldinucci, Luca Padovani, Massimo Torquati, Euro-Par 2018: Parallel Processing, LNCS 11014, 2018.

2017

  • Silvia Crafa, Luca Padovani, The Chemical Approach to Typestate-Oriented Programming, ACM Transactions on Programming Languages and Systems, vol. 39(3), pages 13:1-13:45, 2017.
  • Hernán Melgratti, Luca Padovani, Chaperone Contracts for Higher-Order Sessions, Proceedings of the ACM on Programming Languages, vol. 1(ICFP), pages 35:1-35:29, 2017.
  • Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini, On Sessions and Infinite Data, Logical Methods in Computer Science, vol. 13(2:9), pages 1-39, 2017.
  • Luca Padovani, A Simple Library Implementation of Binary Sessions, Journal of Functional Programming, vol. 27, 2017.
  • Luca Padovani, Context-Free Session Type Inference, Proceedings of the 26th European Symposium on Programming (ESOP’17), pages 804-830, 2017.
    .bib .pdf .pdf (slides)
  • 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, vol. 49(1), 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, vol. 3(2-3), 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.
    .bib
  • Luca Padovani, Fair Subtyping for Multi-Party Session Types, Mathematical Structures in Computer Science, vol. 26(3), 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, vol. 26(2), 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.
  • Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, Logical Methods in Computer Science, vol. 11(4:13), pages 1-45, 2015.
  • 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.
  • 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.
  • Cosimo Laneve, Luca Padovani, An Algebraic Theory for Web Service Contracts, Formal Aspects of Computing, vol. 27(4), 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.
  • 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.
    .bib .pdf (slides)
  • Svetlana Jakšić, Luca Padovani, Exception Handling for Copyless Messaging, Science of Computer Programming, vol. 84, 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.
  • 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.
  • 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.
  • 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.
  • 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, vol. 8(1:24), pages 1-45, 2012.
  • Luca Padovani, On Projecting Processes into Session Types, Mathematical Structures in Computer Science, vol. 22(2), 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.
    .bib abstract
  • 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.
  • Viviana Bono, Luca Padovani, Typing Copyless Message Passing, Logical Methods in Computer Science, vol. 8(1:17), 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.
  • 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.
  • 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.
  • 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, vol. 411, 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.
  • 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.
    .bib abstract
  • Samuele Carpineti, Cosimo Laneve, Luca Padovani, PiDuce - A Project for Experimenting Web Services Technologies, Science of Computer Programming, vol. 74(10), 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.
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, ACM Transactions on Programming Languages and Systems, vol. 31(5), 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.
  • 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, LNCS 5569, 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.
  • 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.
  • 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.
  • 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.

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.
  • 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, vol. 24(1), 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, vol. 38(1-3), pages 27-46, 2003.

2002

  • Paolo Casarini, Luca Padovani, The GNOME DOM Engine, Markup Languages: Theory & Practice, vol. 3(2), 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.

About Me

I'm an associate professor in Computer Science at the Computer Science Department of the University of Torino. ¶ My research interests lie in the areas of programming languages, type systems and concurrency theory. ¶ I'm the contact person of the FORMS research group on Formal Methods for Software Development.

Contact Information

Public Profiles