Registered user since Tue 18 Aug 2015

Name: Luca Padovani

Country: Italy

Affiliation: University of Turin, Italy

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

Contributions

‹Programming› 2020Committee Member in Jury within the Student Research Competition-track
BEAT 2019Committee Member in Program Committee within the BEAT 2019-track
BEHAPI 2019PC 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
PLACES 2019Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track
ESOP 2019Session Chair of Concurrency and Distribution (part of ESOP 2019)
Committee Member in Program Committee within the ESOP 2019-track
VORTEX 2018Committee Member in Program Committee within the VORTEX-track
‹Programming› 2018Author of Deadlock-Free Typestate-Oriented Programming within the Research Papers-track
Committee Member in Jury within the Student Research Competition-track
ICFP 2017Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track
NOOL 2016Committee Member in Program Committee within the NOOL-track
ECOOP 2018Author of Mailbox Types for Unordered Interactions within the ECOOP Research Papers-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
SPLASH 2015Author of The Chemical Approach to Typestate-Oriented Programming within the OOPSLA-track