Registered user since Tue 18 Aug 2015

Name:Luca Padovani
Country:Italy
Affiliation:University of Turin

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