Ugo Dal Lago

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 121

Top Venues

CoRR

LICS

Proc. ACM Program. Lang.

Theor. Comput. Sci.

Publications

Ugo Dal Lago, Davide Davoli, Bruce M. Kapron
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version). CoRR (2024)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL (2024)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
On Basic Feasible Functionals and the Interpretation Method. FoSSaCS (2) (2024)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Towards logical foundations for probabilistic computation. Ann. Pure Appl. Log. 175 (9) (2024)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
On Basic Feasible Functionals and the Interpretation Method. CoRR (2024)
Ugo Dal Lago, Daniele Gorla
Preface. Theor. Comput. Sci. 1010 (2024)
Andrea Colledan, Ugo Dal Lago
Circuit Width Estimation via Effect Typing and Linear Dependency. ESOP (2) (2024)
Ugo Dal Lago, Alexis Ghyselen
On Model-Checking Higher-Order Effectful Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone
Preface to the special issue on metric and differential semantics. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
An Arithmetic Theory to Characterize Poly-Time Random Functions. CoRR (2023)
Ugo Dal Lago, Maurizio Murgia
Contextual Behavioural Metrics. CONCUR (2023)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On counting propositional logic and Wagner's hierarchy. Theor. Comput. Sci. (2023)
Ugo Dal Lago, Alexis Ghyselen
On Model-Checking Higher-Order Effectful Programs (Long Version). CoRR (2023)
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
On the Lattice of Program Metrics. CoRR (2023)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. CoRR (2023)
Ugo Dal Lago, Maurizio Murgia
Contextual behavioural Metrics (Extended Version). CoRR (2023)
Andrea Colledan, Ugo Dal Lago
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version). CoRR (2023)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CoRR (2023)
Ugo Dal Lago, Gabriele Vanoni
(Not So) Boring Abstract Machines. ICTCS (2023)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Open Higher-Order Logic. CSL (2023)
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
On the Lattice of Program Metrics. FSCD (2023)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On Feller Continuity and Full Abstraction (Long Version). CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. LICS (2022)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On Feller continuity and full abstraction. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61 (7-8) (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi types and reasonable space. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi Types and Reasonable Space (Long Version). CoRR (2022)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Curry and Howard Meet Borel. CoRR (2022)
Ugo Dal Lago
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. Math. Struct. Comput. Sci. 32 (6) (2022)
Ugo Dal Lago, Francesco Gavazzo
Effectful program distancing. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ugo Dal Lago, Giulia Giusti
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). CoRR (2022)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Open Higher-Order Logic (Long Version). CoRR (2022)
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
On Quantitative Algebraic Higher-Order Theories. FSCD (2022)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Curry and Howard Meet Borel. LICS (2022)
Ugo Dal Lago, Giulia Giusti
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. CONCUR (2022)
Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina
Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS (2022)
Ugo Dal Lago, Francesco Gavazzo
A relational theory of effects and coeffects. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
On Reinforcement Learning, Effect Handlers, and the State Monad. CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. CoRR (2022)
Andrea Colledan, Ugo Dal Lago
On Dynamic Lifting and Effect Typing in Circuit Description Languages. TYPES (2022)
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
On Quantitative Algebraic Higher-Order Theories. CoRR (2022)
Andrea Colledan, Ugo Dal Lago
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction. LICS (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Measure Quantifiers in First-Order Arithmetic. CiE (2021)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5 (POPL) (2021)
Martin Avanzini, Gilles Barthe, Ugo Dal Lago
On continuation-passing transformations and expected cost analysis. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Ugo Dal Lago, Valeria de Paiva
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications. CoRR (2021)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Counting Propositional Logic. CoRR (2021)
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
On Higher-Order Probabilistic Subrecursion. Log. Methods Comput. Sci. 17 (4) (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Measure Quantifiers in First-Order Arithmetic (Long Version). CoRR (2021)
Ugo Dal Lago, Francesco Gavazzo
Modal Reasoning = Metric Reasoning, via Lawvere. CoRR (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ugo Dal Lago, Naohiko Hoshino
The geometry of Bayesian programming. Math. Struct. Comput. Sci. 31 (6) (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Counting Propositional Logic and Wagner's Hierarchy. ICTCS (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction (long version). CoRR (2021)
Ugo Dal Lago, Francesco Gavazzo
Differential logical relations, part II increments and derivatives. Theor. Comput. Sci. 895 (2021)
Ugo Dal Lago, Francesco Gavazzo
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD (2021)
Ugo Dal Lago, Francesco Gavazzo
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. CoRR (2021)
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
Effectful applicative similarity for call-by-name lambda calculi. Theor. Comput. Sci. 813 (2020)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16 (4) (2020)
Ugo Dal Lago, Francesco Gavazzo
Differential Logical Relations Part II: Increments and Derivatives. ICTCS (2020)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. ESOP (2020)
Ugo Dal Lago, Gabriele Vanoni
-calculus. Theor. Comput. Sci. 813 (2020)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
On Higher-Order Cryptography (Long Version). CoRR (2020)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On probabilistic term rewriting. Sci. Comput. Program. 185 (2020)
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni
The Abstract Machinery of Interaction (Long Version). CoRR (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of Interaction. CoRR (2020)
Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
Solvability in a Probabilistic Setting (Invited Talk). FSCD (2020)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. CoRR (2020)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
On Higher-Order Cryptography. ICALP (2020)
Ugo Dal Lago, Francesco Gavazzo
A Diagrammatic Calculus for Algebraic Effects. CoRR (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Machinery of Interaction. PPDP (2020)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection Types and (Positive) Almost-Sure Termination. CoRR (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-calculi. CoRR (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-Calculi. FoSSaCS (2020)
Ugo Dal Lago, Francesco Gavazzo
Effectful Normal Form Bisimulation. ESOP (2019)
Ugo Dal Lago, Charles Grellois
Probabilistic Termination by Monadic Affine Sized Typing. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Ugo Dal Lago, Naohiko Hoshino
The Geometry of Bayesian Programming. LICS (2019)
Ugo Dal Lago, Thomas Leventis
On the Taylor Expansion of Probabilistic λ-Terms (Long Version). CoRR (2019)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). CoRR (2019)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS (2019)
Ugo Dal Lago, Naohiko Hoshino
The Geometry of Bayesian Programming. CoRR (2019)
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Intersection types and runtime errors in the pi-calculus. Proc. ACM Program. Lang. 3 (POPL) (2019)
Ugo Dal Lago, Thomas Leventis
On the Taylor Expansion of Probabilistic lambda-terms. FSCD (2019)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP (2019)
Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS (2019)
Ugo Dal Lago, Francesco Gavazzo
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. MFPS (2019)
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. J. Autom. Reason. 63 (4) (2019)
Flavien Breuvart, Ugo Dal Lago
On Intersection Types and Probabilistic Lambda Calculi. PPDP (2018)
Ugo Dal Lago, Gabriele Vanoni
On Randomised Strategies in the λ-calculus. ICTCS (2018)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On Probabilistic Term Rewriting. CoRR (2018)
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
On Probabilistic Term Rewriting. FLOPS (2018)
Martin Avanzini, Ugo Dal Lago
On sharing, memoization, and polynomial time. Inf. Comput. 261 (2018)
Ugo Dal Lago, Gabriele Vanoni
On Randomised Strategies in the λ-Calculus (Long Version). CoRR (2018)
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. CoRR (2018)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). CoRR (2017)
Raphaëlle Crubillé, Ugo Dal Lago
Metric Reasoning About \lambda -Terms: The General Case. ESOP (2017)
Ugo Dal Lago, Beniamino Accattoli
Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR (2017)
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. LICS (2017)

Ugo Dal Lago.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ugo Dal Lago