This date marks the first public release of DLπ, an Agda formalization of the linear π-calculus with dependent pairs jointly developed with Luca Ciccone. DLπ allows for the modeling of data-dependent processes and protocols encompassing dependent session types. Luca Ciccone will give a talk about DLπ at the VEST workshop.
My home page had been overdue for a restyling for quite some time when I stumbled across the gorgeous home page of Greg Restall, so I decided to restyle my home page like his own. Some content that used to be reachable from the old home page is temporarily unavailable, work is in progress to restore everything.
I’m chairing PLACES 2020 together with Stephanie Balzer. The proceedings of the workshop have been published and are available here (Balzer & Padovani, 2020). Note that, due to the COVID-19 spread, ETAPS 2020 has been postponed to some future date which is not known yet at this time.
The paper Foundations of Session Types (Castagna et al., 2009), which I coauthored with Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Elena Giachino back in 2009, has won the PPDP Most Influential Paper 10-Year Award. We have written an abstract (Castagna et al., 2019) to recollect how that work was born and what has happened in the meantime.
@article{Padovani19,
author = {Padovani, Luca},
title = {{Context-Free Session Type Inference}},
journal = {ACM Transactions on Programming Languages and Systems},
year = {2019},
volume = {41},
issue = {2},
pages = {9:1-9:37},
publisher = {ACM},
doi = {10.1145/3229062},
selected = {true}
}
@inproceedings{DeLiguoroPadovani18,
author = {de'Liguoro, Ugo and Padovani, Luca},
title = {{Mailbox Types for Unordered Interactions}},
booktitle = {Proceedings of the 32\textsuperscript{nd} European Conference on Object-Oriented Programming (ECOOP'18)},
year = {2018},
series = {LIPIcs},
volume = {109},
pages = {15:1-15:28},
publisher = {Schloss Dagstuhl},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/9220/pdf/LIPIcs-ECOOP-2018-15.pdf},
doi = {10.4230/LIPIcs.ECOOP.2018.15},
selected = {true}
}
@article{MelgrattiPadovani17bis,
author = {Melgratti, Hern\'an and Padovani, Luca},
title = {{Chaperone Contracts for Higher-Order Sessions}},
journal = {Proceedings of the ACM on Programming Languages},
year = {2017},
volume = {1},
issue = {ICFP},
pages = {35:1-35:29},
publisher = {ACM},
doi = {10.1145/3110279},
selected = {true}
}
Il ricevimento studenti avviene previo appuntamento da prenotare con almeno un giorno di anticipo. Per ogni insegnamento x, non effettuo ricevimento di x nei tre giorni lavorativi precedenti un appello di x. In questo anno accademico insegno: