Ugo Dal Lago

Registered user since Sat 24 Jun 2017

Name: Ugo Dal Lago

Country: Italy

Affiliation: University of Bologna, Italy / Inria, France

Personal website: http://www.cs.unibo.it/~dallago/

Research interests: Programming Language Theory, Probabilistic Computation, Quantum Computation, Cryptography

Contributions

POPL 2021 Author of Intersection Types and (Positive) Almost-Sure Termination within the POPL-track
Author of The (In)Efficiency of Interaction within the POPL-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
BEAT 2019 Author of Invited Talk: On Type-Based Complexity Analysis of Programs and Processes within the BEAT 2019-track
LAFI 2019 Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track
DICE-FOPARA 2019 Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
ESOP 2019 Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track
Committee Member in Program Committee within the ESOP 2019-track
ETAPS 2019 Committee Member in Steering Committee
POPL 2019 Author of [T7] Higher-Order Probabilistic Programming within the TutorialFest-track
Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ICFP 2017 Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track
Off the Beaten Track 2017 Author of How Far Apart Should Those Programs Be? within the OBT-track
POPL 2017 Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track
PPS 2016 Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the PPS 2016-track
ICFP 2016 Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track