default search action
Ugo Dal Lago
Person information
- affiliation: Università degli Studi di Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j53]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Towards logical foundations for probabilistic computation. Ann. Pure Appl. Log. 175(9): 103341 (2024) - [j52]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the ${\lambda}$-Calculus, Logarithmically. Log. Methods Comput. Sci. 20(4) (2024) - [j51]Ugo Dal Lago, Alexis Ghyselen:
On Model-Checking Higher-Order Effectful Programs. Proc. ACM Program. Lang. 8(POPL): 2610-2638 (2024) - [j50]Ugo Dal Lago, Daniele Gorla:
Preface. Theor. Comput. Sci. 1010: 114716 (2024) - [c96]Ugo Dal Lago, Zeinab Galal, Giulia Giusti:
On Computational Indistinguishability and Logical Relations. APLAS 2024: 241-263 - [c95]Ugo Dal Lago, Davide Davoli, Bruce M. Kapron:
On Separation Logic, Computational Independence, and Pseudorandomness. CSF 2024: 80-95 - [c94]Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL 2024: 10:1-10:19 - [c93]Andrea Colledan, Ugo Dal Lago:
Circuit Width Estimation via Effect Typing and Linear Dependency. ESOP (2) 2024: 3-30 - [c92]Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale:
On Basic Feasible Functionals and the Interpretation Method. FoSSaCS (2) 2024: 70-91 - [c91]Ugo Dal Lago, Luca Padovani:
On the Almost-Sure Termination of Binary Sessions. PPDP 2024: 9:1-9:12 - [e7]Pawel Sobocinski, Ugo Dal Lago, Javier Esparza:
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM 2024 [contents] - [i81]Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale:
On Basic Feasible Functionals and the Interpretation Method. CoRR abs/2401.12385 (2024) - [i80]Ugo Dal Lago, Davide Davoli, Bruce M. Kapron:
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version). CoRR abs/2405.11987 (2024) - [i79]Andrea Colledan, Ugo Dal Lago:
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages. CoRR abs/2408.03121 (2024) - [i78]Ugo Dal Lago, Zeinab Galal, Giulia Giusti:
On Computational Indistinguishability and Logical Relations. CoRR abs/2408.17340 (2024) - [i77]Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
Towards Quantum Multiparty Session Types. CoRR abs/2409.11133 (2024) - [i76]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Randomized Computational Models and Complexity Classes: a Historical Overview. CoRR abs/2409.11999 (2024) - 2023
- [j49]Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone:
Preface to the special issue on metric and differential semantics. Math. Struct. Comput. Sci. 33(4-5): 180-181 (2023) - [j48]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On counting propositional logic and Wagner's hierarchy. Theor. Comput. Sci. 966-967: 113928 (2023) - [c90]Ugo Dal Lago, Maurizio Murgia:
Contextual Behavioural Metrics. CONCUR 2023: 38:1-38:17 - [c89]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
Open Higher-Order Logic. CSL 2023: 17:1-17:17 - [c88]Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone:
On the Lattice of Program Metrics. FSCD 2023: 20:1-20:19 - [c87]Ugo Dal Lago, Gabriele Vanoni:
(Not So) Boring Abstract Machines. ICTCS 2023: 225-240 - [i75]Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
An Arithmetic Theory for the Poly-Time Random Functions. CoRR abs/2301.12028 (2023) - [i74]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. CoRR abs/2301.12556 (2023) - [i73]Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone:
On the Lattice of Program Metrics. CoRR abs/2302.05022 (2023) - [i72]Ugo Dal Lago, Maurizio Murgia:
Contextual Behavioural Metrics (Extended Version). CoRR abs/2307.07400 (2023) - [i71]Ugo Dal Lago, Alexis Ghyselen:
On Model-Checking Higher-Order Effectful Programs (Long Version). CoRR abs/2308.16542 (2023) - [i70]Andrea Colledan, Ugo Dal Lago:
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version). CoRR abs/2310.19096 (2023) - [i69]Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CoRR abs/2311.15003 (2023) - 2022
- [j47]Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem:
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61(7-8): 1129-1144 (2022) - [j46]Ugo Dal Lago:
Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. Math. Struct. Comput. Sci. 32(6): 760-776 (2022) - [j45]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Multi types and reasonable space. Proc. ACM Program. Lang. 6(ICFP): 799-825 (2022) - [j44]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On Feller continuity and full abstraction. Proc. ACM Program. Lang. 6(ICFP): 826-854 (2022) - [j43]Ugo Dal Lago, Francesco Gavazzo:
Effectful program distancing. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [j42]Ugo Dal Lago, Francesco Gavazzo:
A relational theory of effects and coeffects. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [c86]Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina:
Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS 2022: 263-276 - [c85]Ugo Dal Lago, Giulia Giusti:
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. CONCUR 2022: 37:1-37:18 - [c84]Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. FSCD 2022: 4:1-4:18 - [c83]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Curry and Howard Meet Borel. LICS 2022: 45:1-45:13 - [c82]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022: 47:1-47:13 - [c81]Andrea Colledan, Ugo Dal Lago:
On Dynamic Lifting and Effect Typing in Circuit Description Languages. TYPES 2022: 3:1-3:21 - [e6]Ugo Dal Lago, Daniele Gorla:
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. CEUR Workshop Proceedings 3284, CEUR-WS.org 2022 [contents] - [i68]Andrea Colledan, Ugo Dal Lago:
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version). CoRR abs/2202.07636 (2022) - [i67]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Reasonable Space for the λ-Calculus, Logarithmically. CoRR abs/2203.00362 (2022) - [i66]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Curry and Howard Meet Borel. CoRR abs/2203.11265 (2022) - [i65]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
On Reinforcement Learning, Effect Handlers, and the State Monad. CoRR abs/2203.15426 (2022) - [i64]Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone:
On Quantitative Algebraic Higher-Order Theories. CoRR abs/2204.13654 (2022) - [i63]Ugo Dal Lago, Giulia Giusti:
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). CoRR abs/2207.03360 (2022) - [i62]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
Multi Types and Reasonable Space (Long Version). CoRR abs/2207.08795 (2022) - [i61]Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On Feller Continuity and Full Abstraction (Long Version). CoRR abs/2207.10590 (2022) - [i60]Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen:
Open Higher-Order Logic (Long Version). CoRR abs/2211.06671 (2022) - 2021
- [j41]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. Log. Methods Comput. Sci. 17(4) (2021) - [j40]Ugo Dal Lago, Naohiko Hoshino:
The geometry of Bayesian programming. Math. Struct. Comput. Sci. 31(6): 633-681 (2021) - [j39]Martin Avanzini, Gilles Barthe, Ugo Dal Lago:
On continuation-passing transformations and expected cost analysis. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j38]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5(POPL): 1-33 (2021) - [j37]Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - [j36]Ugo Dal Lago, Francesco Gavazzo:
Differential logical relations, part II increments and derivatives. Theor. Comput. Sci. 895: 34-47 (2021) - [c80]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Measure Quantifiers in First-Order Arithmetic. CiE 2021: 12-24 - [c79]Ugo Dal Lago, Francesco Gavazzo:
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD 2021: 23:1-23:19 - [c78]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic and Wagner's Hierarchy. ICTCS 2021: 107-121 - [c77]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Space of Interaction. LICS 2021: 1-13 - [c76]Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem:
A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS 2021: 35:1-35:12 - [e5]Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents] - [i59]Ugo Dal Lago, Francesco Gavazzo:
Modal Reasoning = Metric Reasoning, via Lawvere. CoRR abs/2103.03871 (2021) - [i58]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic. CoRR abs/2103.12862 (2021) - [i57]Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Measure Quantifiers in First-Order Arithmetic (Long Version). CoRR abs/2104.12124 (2021) - [i56]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Space of Interaction (long version). CoRR abs/2104.13795 (2021) - [i55]Ugo Dal Lago, Francesco Gavazzo:
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. CoRR abs/2106.12849 (2021) - 2020
- [j35]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16(4) (2020) - [j34]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On probabilistic term rewriting. Sci. Comput. Program. 185 (2020) - [j33]Ugo Dal Lago, Gabriele Vanoni:
On randomised strategies in the λ-calculus. Theor. Comput. Sci. 813: 100-116 (2020) - [j32]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful applicative similarity for call-by-name lambda calculi. Theor. Comput. Sci. 813: 234-247 (2020) - [c75]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: 56-83 - [c74]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-Calculi. FoSSaCS 2020: 136-156 - [c73]Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian:
Solvability in a Probabilistic Setting (Invited Talk). FSCD 2020: 1:1-1:17 - [c72]Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago:
On Higher-Order Cryptography. ICALP 2020: 108:1-108:16 - [c71]Ugo Dal Lago, Francesco Gavazzo:
Differential Logical Relations Part II: Increments and Derivatives. ICTCS 2020: 101-114 - [c70]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The Machinery of Interaction. PPDP 2020: 4:1-4:15 - [i54]Ugo Dal Lago, Francesco Gavazzo:
A Diagrammatic Calculus for Algebraic Effects. CoRR abs/2001.01337 (2020) - [i53]Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni:
The Abstract Machinery of Interaction (Long Version). CoRR abs/2002.05649 (2020) - [i52]Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago:
On Higher-Order Cryptography (Long Version). CoRR abs/2002.07218 (2020) - [i51]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-calculi. CoRR abs/2002.08392 (2020) - [i50]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 abs/2002.08489 (2020) - [i49]Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection Types and (Positive) Almost-Sure Termination. CoRR abs/2010.12689 (2020) - [i48]Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni:
The (In)Efficiency of Interaction. CoRR abs/2010.12988 (2020)
2010 – 2019
- 2019
- [j31]Patrick Baillot, Gilles Barthe, Ugo Dal Lago:
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. J. Autom. Reason. 63(4): 813-855 (2019) - [j30]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): 7:1-7:29 (2019) - [j29]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ACM Trans. Program. Lang. Syst. 41(2): 10:1-10:65 (2019) - [c69]Ugo Dal Lago, Francesco Gavazzo:
Effectful Normal Form Bisimulation. ESOP 2019: 263-292 - [c68]Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu:
Differential Logical Relations, Part I: The Simply-Typed Case. ICALP 2019: 111:1-111:14 - [c67]Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen:
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS 2019: 1-13 - [c66]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS 2019: 1-14 - [c65]Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. LICS 2019: 1-13 - [c64]Ugo Dal Lago, Thomas Leventis:
On the Taylor Expansion of Probabilistic lambda-terms. FSCD 2019: 13:1-13:16 - [c63]Ugo Dal Lago, Francesco Gavazzo:
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. MFPS 2019: 121-141 - [i47]Ugo Dal Lago, Naohiko Hoshino:
The Geometry of Bayesian Programming. CoRR abs/1904.07425 (2019) - [i46]Ugo Dal Lago, Thomas Leventis:
On the Taylor Expansion of Probabilistic λ-Terms (Long Version). CoRR abs/1904.09650 (2019) - [i45]Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu:
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). CoRR abs/1904.12137 (2019) - 2018
- [j28]Martin Avanzini, Ugo Dal Lago:
On sharing, memoization, and polynomial time. Inf. Comput. 261: 3-22 (2018) - [c62]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. FLOPS 2018: 132-148 - [c61]Ugo Dal Lago, Gabriele Vanoni:
On Randomised Strategies in the λ-calculus. ICTCS 2018: 92-103 - [c60]Flavien Breuvart, Ugo Dal Lago:
On Intersection Types and Probabilistic Lambda Calculi. PPDP 2018: 8:1-8:13 - [e4]Christel Baier, Ugo Dal Lago:
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10803, Springer 2018, ISBN 978-3-319-89365-5 [contents] - [i44]Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. CoRR abs/1802.09774 (2018) - [i43]Ugo Dal Lago, Gabriele Vanoni:
On Randomised Strategies in the λ-Calculus (Long Version). CoRR abs/1805.03934 (2018) - [i42]Naoki Kobayashi, Ugo Dal Lago, Charles Grellois:
On the Termination Problem for Probabilistic Higher-Order Recursive Programs. CoRR abs/1811.02133 (2018) - 2017
- [j27]Martin Avanzini, Ugo Dal Lago:
Automating sized-type inference for complexity analysis. Proc. ACM Program. Lang. 1(ICFP): 43:1-43:29 (2017) - [c59]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About \lambda -Terms: The General Case. ESOP 2017: 341-367 - [c58]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017: 393-419 - [c57]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017: 370-386 - [c56]Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98 - [c55]Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy:
Effectful applicative bisimilarity: Monads, relators, and Howe's method. LICS 2017: 1-12 - [c54]Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu:
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. LICS 2017: 1-12 - [c53]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL 2017: 833-845 - [c52]Martin Avanzini, Ugo Dal Lago:
Automated Sized-Type Inference and Complexity Analysis. DICE-FOPARA@ETAPS 2017: 7-16 - [i41]Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing (Long Version). CoRR abs/1701.04089 (2017) - [i40]Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion (Long Version). CoRR abs/1701.04786 (2017) - [i39]Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About λ-Terms: The General Case (Long Version). CoRR abs/1701.05521 (2017) - [i38]Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu:
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version). CoRR abs/1704.04620 (2017) - [i37]Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy:
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). CoRR abs/1704.04647 (2017) - [i36]Martin Avanzini, Ugo Dal Lago:
Automating Sized Type Inference for Complexity Analysis (Technical Report). CoRR abs/1706.09169 (2017) - [i35]Ugo Dal Lago, Beniamino Accattoli:
Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR abs/1711.10078 (2017) - 2016