Differential Program Semantics

Project Information

DIAPASoN

Grant agreement ID: 818616

DOI

10.3030/818616

Project closed

EC signature date 29 January 2019

Start date 1 March 2019

End date 29 February 2024

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 959 562,00

EU contribution

€ 959 562,00

Coordinated by

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (24)

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations

Author(s): Guillaume Geoffroy, Paolo Pistone
Published in: Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic, Issue 183, 2021, Page(s) 23:1-23:18, ISBN 9783959771757
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2021.23

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Author(s): Paolo Pistone
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-14, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470696

On the Representation of References in the Pi-Calculus

Author(s): Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Published in: Proceedings of CONCUR 2020, 31st International Conference on Concurrency Theory, Issue 171, 2020, Page(s) 34:1-34:20, ISBN 9783959771603
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2020.34

On Quantitative Algebraic Higher-Order Theories

Author(s): Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
Published in: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Issue 228, 2022, Page(s) 4:1-4:18, ISBN 9783959772334
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.4

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

Author(s): Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Published in: Proceedings of CSL 2024, 32nd EACSL Annual Conference on Computer Science Logic,, Issue 288, 2024, Page(s) 10:1-10:19, ISSN 1868-8969
Publisher: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.csl.2024.10

Curry and Howard Meet Borel

Author(s): Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Published in: 2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Page(s) 45:1--45:13, ISBN 9781450393515
Publisher: ACM
DOI: 10.1145/3531130.3533361

Differential Logical Relations, Part I: The Simply-Typed Case

Author(s): Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Published in: Proceedings of ICALP 2019, 46th International Colloquium on Automata, Languages, and Programming, Issue 132, 2019, Page(s) 111:1-111:14, ISBN 9783959771092
Publisher: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.111

Resource approximation for the Lambda-mu-calculus

Author(s): Davide Barbarossa
Published in: 2022 27th annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Page(s) 27:1--27:12, ISBN 9781450393515
Publisher: ACM
DOI: 10.1145/3531130.3532469

A Recursion-Theoretic Characterization of the Probabilistic Class PP

Author(s): Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Published in: Proceedings of MFCS 2021,46th International Symposium on Mathematical Foundations of Computer Science, Issue 202, 2021, Page(s) 35:1-35:12, ISBN 9783959772013
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2021.35

A Relational Theory of Monadic Rewriting Systems, Part I

Author(s): Francesco Gavazzo, Claudia Faggian
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-14, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470633

On the Lattice of Program Metrics

Author(s): Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Published in: Proceedings of FSCD 2023, 8th International Conference on Formal Structures for Computation and Deduction, Issue 260, 2023, Page(s) 20:1-20:19, ISBN 9783959772778
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2023.20

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

Author(s): Ugo Dal Lago, Francesco Gavazzo
Published in: Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction, Issue 195, 2021, Page(s) 23:1-23:19, ISBN 9783959771917
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2021.23

The Machinery of Interaction

Author(s): Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Published in: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, Page(s) 1-15, ISBN 9781450388214
Publisher: ACM
DOI: 10.1145/3414080.3414108

On the Taylor expansion of probabilistic λ-terms

Author(s): Ugo Dal Lago, Thomas Leventis
Published in: Proceedings of FSCD 2019, 4th International Conference on Formal Structures for Computation and Deduction, Issue 131, 2019, Page(s) 13:1-13:16, ISBN 9783959771078
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2019.13

Contextual Behavioural Metrics

Author(s): Ugo Dal Lago, Maurizio Murgia
Published in: Proceedings of CONCUR 2023, 34th International Conference on Concurrency Theory, Issue 279, 2023, Page(s) 38:1-38:17, ISSN 1868-8969
Publisher: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2023.3

A Fibrational Tale of Operational Logical Relations

Author(s): Francesco Dagnino, Francesco Gavazzo
Published in: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Issue 228, 2022, Page(s) 3:1--3:21, ISBN 9783959772334
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.3

Decomposing Probabilistic Lambda-Calculi

Author(s): Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Published in: Proceedings of FoSSaCS 2020, 23rd International Conference on Foundations of Software Science and Computation Structures, Issue 12077, 2020, Page(s) 136-156, ISBN 9783030452308
Publisher: Springer

Reasonable Space for the Lambda-Calculus, Logarithmically

Author(s): Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Published in: 2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Page(s) 47:1-47:13, ISBN 9781450393515
Publisher: ACM
DOI: 10.1145/3531130.3533362

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

Author(s): Ugo Dal Lago, Giulia Giusti
Published in: Proceedings of CONCUR 2023, 33rd International Conference on Concurrency Theory, Issue 243, 2022, Page(s) 37:1-37:18, ISBN 9783959772464
Publisher: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2022.37

On Higher-Order Cryptography

Author(s): Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
Published in: Proceedings of ICALP 2020, 47th International Colloquium on Automata, Languages, and Programming, Issue 168, 2020, Page(s) 108:1-108:16, ISBN 9783959771382
Publisher: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2020.108

Open Higher-Order Logic

Author(s): Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Published in: Proceedings of CSL 2023, 31st EACSL Annual Conference on Computer Science Logic, Issue 252, 2023, Page(s) 17:1-17:17, ISBN 9783959772648
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.csl.2023.17

On Measure Quantifiers in First-Order Arithmetic

Author(s): Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Published in: Proceedings of CIE 2021, 17th Conference on Computability in Europe, Issue 12813, 2021, Page(s) 12-24
Publisher: Springer
DOI: 10.1007/978-3-030-80049-9\_2

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem

Author(s): Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Published in: Proceedings of ESOP 2020, 29th European Symposium on Programming, Issue 12075, 2020, Page(s) 56-83, ISBN 9783030449131
Publisher: Springer

The Space of Interaction

Author(s): Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470726

Peer reviewed articles (10)

A Relational Theory of Effects and Coeffects

Author(s): Ugo Dal Lago, Francesco Gavazzo
Published in: Proceedings of the ACM on Programming Languages, Issue 6/POPL, 2022, Page(s) 1-30, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3498692

Multi Types and Reasonable Space

Author(s): Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Published in: Proceedings of the ACM on Programming Languages, Issue 6/ICFP, 2022, Page(s) 799--825, ISSN 2475-1421
Publisher: ACM Press
DOI: 10.1145/3547650

Effectful Program Distancing

Author(s): Ugo Dal Lago, Francesco Gavazzo
Published in: Proceedings of the ACM on Programming Languages, Issue 6/POPL, 2022, Page(s) 1-28, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3498680

Intersection types and (positive) almost-sure termination

Author(s): Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-32, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434313

The (In)Efficiency of interaction

Author(s): Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-33, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434332

On Model-Checking Higher-Order Effectful Programs

Author(s): Ugo Dal Lago, Alexis Ghyselen
Published in: Proceedings of the ACM for Programming Languages, Issue 8/POPL, 2024, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3632929

On Feller Continuity and Full Abstraction

Author(s): Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Published in: Proceedings of the ACM on Programming Languages, Issue 6/ICFP, 2022, Page(s) 826--854, ISSN 2475-1421
Publisher: ACM Press
DOI: 10.1145/3547651

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Author(s): Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
Published in: Logical Methods in Computer Science, Issue 16(2), 2019, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(4:2)2020

On probabilistic term rewriting

Author(s): Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
Published in: Science of Computer Programming, Issue 185, 2020, Page(s) 102338, ISSN 0167-6423
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2019.102338

On continuation-passing transformations and expected cost analysis

Author(s): Martin Avanzini, Gilles Barthe, Ugo Dal Lago
Published in: Proceedings of the ACM on Programming Languages, Issue 5/ICFP, 2021, Page(s) 1-30, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3473592