di.unito.it / luca padovani / publications

submitted papers

4
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
submitted, 2014
3
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
submitted, 2014
2
Foundations of Behavioural Types
Hans Hüttel, Ivan Lanese, Vasco Thudichum Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, and Gianluigi Zavattaro
submitted, 2014
1
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
submitted, 2013

journal papers20122010200920032002

2014
12
Fair Subtyping for Multi-Party Session Types
Luca Padovani
11
Global Progress for Dynamically Interleaved Multiparty Sessions
10
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Science of Computer Programming, vol. 84, pages 22-51, ISSN 0167-6423, Elsevier, 2014
2012
9
On Global Types and Multi-Party Sessions
Logical Methods in Computer Science, vol. 8, issue 1:24, pages 1-45, ISSN 1860-5974, 2012
8
Typing Copyless Message Passing
Viviana Bono and Luca Padovani
Logical Methods in Computer Science, vol. 8, issue 1:17, pages 1-50, ISSN 1860-5974, 2012
7
On Projecting Processes into Session Types
Luca Padovani
Mathematical Structures in Computer Science, vol. 22, issue 2, pages 237-289, ISSN 0960-1295, Cambridge University Press, 2012
2010
6
Contract-Based Discovery of Web Services Modulo Simple Orchestrators
Luca Padovani
Theoretical Computer Science, vol. 411, pages 3328-3347, ISSN 0304-3975, Elsevier, 2010
2009
5
PiDuce - A Project for Experimenting Web Services Technologies
Samuele Carpineti, Cosimo Laneve, and Luca Padovani
Science of Computer Programming, vol. 74, no. 10, pages 777-811, ISSN 0167-6423, Elsevier, 2009
4
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
ACM Transactions on Programming Languages and Systems, vol. 31, no. 5, ISSN 0164-0925, ACM, 2009
2003
3
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality
Luca Padovani
The Communications of the TeX Users Group, vol. 24, no. 1, pages 53-61, ISSN 0896-3207, 2003
2
Mathematical Knowledge Management in HELM
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, and Irene Schena
Annals of Mathematics and Artificial Intelligence, vol. 38, no. 1-3, pages 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003
2002
1
The GNOME DOM Engine
Paolo Casarini and Luca Padovani
Markup Languages: Theory & Practice, vol. 3, no. 2, pages 173-190, ISSN 1099-6621, The MIT press, 2002

proceedings20132012201120102009older

2014
49
Deadlock and Lock Freedom in the Linear π-Calculus
Luca Padovani
Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), pages 72:1-72:10, ACM, 2014
48
Typing Liveness in Multiparty Communicating Systems
Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14)
LNCS, vol. 8459, eds. Eva Kühn and Rosario Pugliese, pages 147-162, Springer, 2014
47
Session Type Isomorphisms
Proceedings of the Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14)
EPTCS, vol. 155, eds. Alastair F. Donaldson and Vasco Thudichum Vasconcelos, pages 61-71, Open Publishing Association, 2014
46
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14)
LNCS, vol. 8412, ed. Anca Muscholl, pages 88-102, Springer, 2014
doi> .bib .pdf slides .pdf superseded by 3 in submitted papers nominated for best paper award
45
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)
ACM SIGPLAN Notices, vol. 49, issue 1, pages 5-17, ACM, 2014
2013
44
Fair Subtyping for Open Session Types
Luca Padovani
Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Part II
LNCS, vol. 7966, eds. Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg, pages 373-384, Springer, 2013
43
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the 10th International Conference on Integrated Formal Methods (IFM'13)
LNCS, vol. 7940, eds. Einar Broch Johnsen and Luigia Petre, pages 301-315, Springer, 2013
doi> .bib .pdf INVITED
42
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Viviana Bono, Luca Padovani, and Andrea Tosatto
Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)
LNCS, vol. 7892, eds. Dirk Beyer and Michele Boreale, pages 83-98, Springer, 2013
41
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION'13)
LNCS, vol. 7890, eds. Christine Julien and Rocco De Nicola, pages 45-59, Springer, 2013
40
From Lock Freedom to Progress Using Session Types
Luca Padovani
Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13)
EPTCS, vol. 137, eds. Nobuko Yoshida and Wim Vanderbauwhede, pages 3-19, Open Publishing Association, 2013
39
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
2012
38
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12)
ACM SIGPLAN Notices vol. 48 issue 3 eds. Klaus Ostermann and Walter Binder, pages 1-10 ACM 2012
37
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12), eds. Danny De Schreye, Gerda Janssens, and Andy King, pages 151-162, ACM, 2012
2011
36
Polymorphic Endpoint Types for Copyless Message Passing
Viviana Bono and Luca Padovani
Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11)
EPTCS, vol. 59, eds. Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone, pages 52-67, Open Publishing Association, 2011
35
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION'11)
LNCS, vol. 6721, eds. Wolfgang De Meuter and Gruia-Catalin Roman, pages 127-141, Springer, 2011
34
On Global Types and Multi-Party Sessions
Proceedings of the 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS'11)
LNCS, vol. 6722, eds. Roberto Bruni and Juergen Dingel, pages 1-28, Springer, 2011
doi> .bib .pdf superseded by 9 in journal papersINVITED
33
Typing Copyless Message Passing
Viviana Bono, Chiara Messa, and Luca Padovani
Proceedings of the 20th European Symposium on Programming (ESOP'11)
LNCS, vol. 6602, ed. Gilles Barthe, pages 57-76, Springer, 2011
2010
32
Session Types = Intersection Types + Union Types
Luca Padovani
Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS'10)
EPTCS, vol. 45, eds. Elaine Pimentel, Betti Venneri, and Joe Wells, pages 71-89, Open Publishing Association, 2011
31
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)
vol. 627, eds. Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet, pages 134-149, CEUR, ISSN 1613-0073, 2010
2009
30
Foundations of Session Types
Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), eds. António Porto and Francisco J. López-Fraguas, pages 219-230, ACM, 2009
29
Contracts for Mobile Processes
Giuseppe Castagna and Luca Padovani
Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)
LNCS, vol. 5710, eds. Mario Bravetti and Gianluigi Zavattaro, pages 211-228, Springer, 2009
28
Session Types at the Mirror
Luca Padovani
Proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09)
EPTCS, vol. 12, eds. Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto, pages 71-86, Open Publishing Association, 2009
doi> .bib .pdf slides .pdf superseded by 7 in journal papers best scored ICE'09 paper
27
A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous CCS
Giuseppe Castagna and Luca Padovani
Pre-proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09), 2009
2008
26
Contract-Directed Synthesis of Simple Orchestrators
Luca Padovani
Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08)
LNCS, vol. 5201, eds. Franck van Breugel and Marsha Chechik, pages 131-146, Springer, 2008
25
The Pairing of Contracts and Session Types
Cosimo Laneve and Luca Padovani
Concurrency, Graphs and Models (Ugo65'08)
LNCS, vol. 5065, eds. Pierpaolo Degano, Rocco De Nicola, and José Meseguer, Springer, pages 681-700, 2008
24
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
Proceedings of the 35th annual symposium on Principles of Programming Languages (POPL'08)
ACM SIGPLAN Notices, vol. 43, issue 1, pages 261-272, ACM, 2008
doi> .bib .pdf superseded by 4 in journal papers
2007
23
The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts
Cosimo Laneve and Luca Padovani
Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07)
LNCS, vol. 4703, eds. Luís Caires and Vasco Thudichum Vasconcelos, pages 212-225, Springer, 2007
22
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
Marco Bernardo and Luca Padovani
Proceedings of the 9th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'07)
LNCS, vol. 4468, eds. Marcello M. Bonsangue and Einar Broch Johnsen, pages 269-284, Springer, 2007
21
A Theory of Contracts for Web Services
Giuseppe Castagna, Nils Gesbert, and Luca Padovani
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), pages 37-48, ACM, 2007
2006
20
A Formal Account of Contracts for Web Services
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, and Luca Padovani
Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06)
LNCS, vol. 4184, eds. Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro, pages 148-162, Springer, 2006
19
From Notation to Semantics: There and Back Again
Luca Padovani and Stefano Zacchiroli
Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06)
LNAI, vol. 4108, eds. Jonathan M. Borwein and William M. Farmer, pages 194-207, Springer, 2006
18
Smooth Orchestrators
Cosimo Laneve and Luca Padovani
Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06)
LNCS, vol. 3921, eds. Luca Aceto and Anna Ingólfsdóttir, pages 32-46, Springer, 2006
2005
17
A Distributed Implementation of Mobile Nets as Mobile Agents
Nadia Busi and Luca Padovani
Proceedings of the 7th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'05)
LNCS, vol. 3535, eds. Martin Steffen and Gianluigi Zavattaro, pages 259-274, Springer, 2005
16
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Luca Padovani
Proceedings of the 14th Conference on Compiler Construction (CC'05)
LNCS, vol. 3443, ed. Rastislav Bodik, pages 27-42, Springer, 2005
2004
15
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)
LNCS, vol. 3286, eds. Gabor Karsai and Eelco Visser, pages 469-487, Springer, 2004
14
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
Luca Padovani and Riccardo Solmi
Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04)
LNCS, vol. 3119, eds. Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, pages 302-316, Springer, 2004
13
A Math Canvas for the GNOME Desktop
Luca Padovani
Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC'04), vol. 107, ISSN 0806-5942, Agder University College, 2004
12
Interactive Editing of MathML Markup Using TeX Syntax
Luca Padovani
Proceedings of the International Conference on TeX, XML, and Digital Typography (TUG'04)
LNCS, vol. 3130, eds. Apostolos Syropoulos, Karl Berry, Yannis Haralambous, Baden Hughes, Steven Peter, and John Plaice, pages 125-138, Springer, 2004
2003
11
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
Luca Padovani
Proceedings of the 2nd International Conference on Mathematical Knowledge Management (MKM'03)
LNCS, vol. 2594, eds. Andrea Asperti, Bruno Buchberger, and James H. Davenport, pages 66-79, Springer, 2003
2002
10
A Standalone Rendering Engine for MathML
Luca Padovani
Proceedings of the MathML International Conference (MathML'02), pages 109-114, 2002
9
A Lisp Subset Based on MathML
Yuzhen Xie, Stephen M. Watt, and Luca Padovani
Proceedings of the MathML International Conference (MathML'02), pages 101-108, 2002
2001
8
Mathematical Knowledge Management in HELM
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the 1st International Workshop on Mathematical Knowledge Management (MKM'01), eds. Bruno Buchberger and Olga Caprotti, 2001
7
HELM and the Semantic Math-Web
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01)
LNCS, vol. 2152, eds. Richard J. Boulton and Paul B. Jackson, pages 59-74, Springer, 2001
doi> .bib .pdf superseded by 2 in journal papers
6
XML, Stylesheets and the Re-mathematization of Formal Content
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 17-27, 2001
5
The GNOME DOM Engine
Paolo Casarini and Luca Padovani
Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 45-53, 2001
4
Formal Mathematics on the Web
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Proceedings of the 8th International Conference `Crimea 2001': Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), vol. 1, pages 342-346, 2001
2000
3
Formal Mathematics in MathML
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Session Presentation at 1st MathML International Conference (MathML'00), 2000
2
Towards a Library of Formal Mathematics
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Technical Report at 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), 2000
1
Content-Centric Logical Environments
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena
Short Presentation at 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), 2000

book chapters

1
Contract-based Discovery and Adaptation of Web Services
Luca Padovani
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09)
LNCS, vol. 5569, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, pages 213-260, Springer, 2009

edited books

Book cover

1
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09), Advanced Lectures
LNCS, vol. 5569, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, Springer, ISBN 978-3-642-01917-3, 2009

seminars

16
Type reconstruction for the linear π-calculus
Imperial College, London, 2014.
15
Behavioral subtyping
1st International Summer School on Behavioural Types (BETTYSS'14), Lovran, Croatia, 30 June - 4 July 2014
.pdf INVITED LECTURER
14
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs
NII Shonan Meeting (Shonan'14), Tokyo, Japan, 26-30 May 2014
.pdf INVITED SPEAKER
13
Un système de types pour prévenir les interblocages dans le π-calcul linéaire
12
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs
BETTY WG/MC Meetings (BETTY'14), Grenoble, France, 13 April 2014
11
Deadlock and lock freedom in the linear π-calculus
10
Fair Subtyping for Open Session Types
9
Fair Testing and Fair Subtyping
Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012
.pdf INVITED SPEAKER
8
Fair Subtyping for Multi-Party Session Types
Rencontre des groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique (LAC'11), Palaiseau, France, 2011
7
Semantic Subtyping for Session Types
1st Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011
.pdf INVITED SPEAKER
6
Contract-based Discovery and Adaptation of Web Services
Workshop on Security Oriented Formal Techniques (WSOFT'10), Pisa, Italy, 2010 and 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pisa, Italy, 2010
.pdf INVITED SPEAKER
5
Contracts for Web Services
4
A Taste of Carbon
3
A Formal Account of Contracts for Web Services
INRIA Saclay, 2006
2
PiDuce
1
The Mathematical Markup Language and Web Technologies for Mathematics
Trieste, Italy, 2003
.pdf INVITED LECTURER

dissertations

2
MathML Formatting
Luca Padovani
PhD Thesis, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003
1
Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione
Luca Padovani
Master thesis, 1998

technical reports

10
Types for Deadlock-Free Higher-Order Concurrent Programs
Luca Padovani and Luca Novara
Technical Report hal-00954364, 2014
9
Yet Another Type System for Lock-Free Processes
Luca Padovani
Technical Report hal-00863129, 2013
8
Fair Subtyping for Open Session Types
Luca Padovani
Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013
7
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012
.pdf superseded by 10 in journal papers
6
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012
5
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Technical Report hal-00546531, 2011
4
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Technical Report RT 128/10, Dipartimento di Informatica, Università di Torino, 2010
3
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators
Luca Padovani and Stefano Zacchiroli
Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007
2
MathML Rendering/Browsing engine
Hanane Naciri and Luca Padovani
Technical Report D4.a, IST-2001-33562 MoWGLI, 2003
1
Prototype functionalities for assisted annotation
Philippe Audebaud and Luca Padovani
Technical Report D4.c, IST-2001-33562 MoWGLI, 2003

by kind

external links

Partial lists of my papers can also be found on the following sites, although the information on this page is generally the most accurate and/or up-to-date:

notes

words of wisdom

«The sign of intelligence is that you are constantly wondering. Idiots are always dead sure about every damn thing they are doing in their life.»
Jaggi Vasudev

 more

made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Tue, 16 Dec 2014Flag Counter