Luca Padovani -

Registered user since Tue 18 Aug 2015

Name:Luca Padovani

Country:Italy

Affiliation:University of Turin

Personal website:http://www.di.unito.it/~padovani/

Contributions

ECOOP 2022	Author of Fair Termination of Multiparty Sessions within the Research Papers-track
POPL 2022	Author of Fair Termination of Binary Sessions within the POPL-track
AGERE 2020	Committee Member in Program Committee within the AGERE 2020-track
‹Programming› 2020	Committee Member in Jury within the Student Research Competition-track
BEHAPI 2019	PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track Session Chair of Mechanising Proofs of Behavioural Types for APIs (part of BEHAPI) Author of Mailbox Types for Unordered Interactions within the BEHAPI-track
ESOP 2019	Session Chair of Concurrency and Distribution (part of ESOP 2019) Committee Member in Program Committee within the ESOP 2019-track
PLACES 2019	Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track
BEAT 2019	Committee Member in Program Committee within the BEAT 2019-track
ECOOP 2018	Author of Mailbox Types for Unordered Interactions within the ECOOP Research Papers-track
VORTEX 2018	Committee Member in Program Committee within the VORTEX-track
‹Programming› 2018	Author of Deadlock-Free Typestate-Oriented Programming within the Research Papers-track Committee Member in Jury within the Student Research Competition-track
ICFP 2017	Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track
NOOL 2016	Committee Member in Program Committee within the NOOL-track
SPLASH 2015	Author of The Chemical Approach to Typestate-Oriented Programming within the OOPSLA-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track