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

HOPE 2021	Author of Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario within the HOPE 2021-track
POPL 2022	Author of Effectful Program Distancing within the POPL-track Author of A Relational Theory of Effects and Coeffects within the POPL-track
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
ICFP 2021	Author of On Continuation-Passing Transformations and Expected Cost Analysis within the Research Papers-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