Differential Program Semantics

Informations projet

DIAPASoN

N° de convention de subvention: 818616

DOI

10.3030/818616

Projet clôturé

Date de signature de la CE 29 Janvier 2019

Date de début 1 Mars 2019

Date de fin 29 Février 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 959 562,00

Contribution de l’UE

€ 959 562,00

Coordonné par

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (24)

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

Auteurs: Guillaume Geoffroy, Paolo Pistone
Publié dans: Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic, Numéro 183, 2021, Page(s) 23:1-23:18, ISBN 9783959771757
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2021.23

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Auteurs: Paolo Pistone
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-14, ISBN 978-1-6654-4895-6
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470696

On the Representation of References in the Pi-Calculus

Auteurs: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Publié dans: Proceedings of CONCUR 2020, 31st International Conference on Concurrency Theory, Numéro 171, 2020, Page(s) 34:1-34:20, ISBN 9783959771603
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2020.34

On Quantitative Algebraic Higher-Order Theories

Auteurs: Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
Publié dans: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Numéro 228, 2022, Page(s) 4:1-4:18, ISBN 9783959772334
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.4

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

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

Curry and Howard Meet Borel

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

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

Auteurs: Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Publié dans: Proceedings of ICALP 2019, 46th International Colloquium on Automata, Languages, and Programming, Numéro 132, 2019, Page(s) 111:1-111:14, ISBN 9783959771092
Éditeur: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.111

Resource approximation for the Lambda-mu-calculus

Auteurs: Davide Barbarossa
Publié dans: 2022 27th annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Page(s) 27:1--27:12, ISBN 9781450393515
Éditeur: ACM
DOI: 10.1145/3531130.3532469

A Recursion-Theoretic Characterization of the Probabilistic Class PP

Auteurs: Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Publié dans: Proceedings of MFCS 2021,46th International Symposium on Mathematical Foundations of Computer Science, Numéro 202, 2021, Page(s) 35:1-35:12, ISBN 9783959772013
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2021.35

A Relational Theory of Monadic Rewriting Systems, Part I

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

On the Lattice of Program Metrics

Auteurs: Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Publié dans: Proceedings of FSCD 2023, 8th International Conference on Formal Structures for Computation and Deduction, Numéro 260, 2023, Page(s) 20:1-20:19, ISBN 9783959772778
Éditeur: 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

Auteurs: Ugo Dal Lago, Francesco Gavazzo
Publié dans: Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction, Numéro 195, 2021, Page(s) 23:1-23:19, ISBN 9783959771917
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2021.23

The Machinery of Interaction

Auteurs: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Publié dans: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, Page(s) 1-15, ISBN 9781450388214
Éditeur: ACM
DOI: 10.1145/3414080.3414108

On the Taylor expansion of probabilistic λ-terms

Auteurs: Ugo Dal Lago, Thomas Leventis
Publié dans: Proceedings of FSCD 2019, 4th International Conference on Formal Structures for Computation and Deduction, Numéro 131, 2019, Page(s) 13:1-13:16, ISBN 9783959771078
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2019.13

Contextual Behavioural Metrics

Auteurs: Ugo Dal Lago, Maurizio Murgia
Publié dans: Proceedings of CONCUR 2023, 34th International Conference on Concurrency Theory, Numéro 279, 2023, Page(s) 38:1-38:17, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2023.3

A Fibrational Tale of Operational Logical Relations

Auteurs: Francesco Dagnino, Francesco Gavazzo
Publié dans: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Numéro 228, 2022, Page(s) 3:1--3:21, ISBN 9783959772334
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.3

Decomposing Probabilistic Lambda-Calculi

Auteurs: Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Publié dans: Proceedings of FoSSaCS 2020, 23rd International Conference on Foundations of Software Science and Computation Structures, Numéro 12077, 2020, Page(s) 136-156, ISBN 9783030452308
Éditeur: Springer

Reasonable Space for the Lambda-Calculus, Logarithmically

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

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

Auteurs: Ugo Dal Lago, Giulia Giusti
Publié dans: Proceedings of CONCUR 2023, 33rd International Conference on Concurrency Theory, Numéro 243, 2022, Page(s) 37:1-37:18, ISBN 9783959772464
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2022.37

On Higher-Order Cryptography

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

Open Higher-Order Logic

Auteurs: Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Publié dans: Proceedings of CSL 2023, 31st EACSL Annual Conference on Computer Science Logic, Numéro 252, 2023, Page(s) 17:1-17:17, ISBN 9783959772648
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.csl.2023.17

On Measure Quantifiers in First-Order Arithmetic

Auteurs: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Publié dans: Proceedings of CIE 2021, 17th Conference on Computability in Europe, Numéro 12813, 2021, Page(s) 12-24
Éditeur: Springer
DOI: 10.1007/978-3-030-80049-9\_2

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

Auteurs: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Publié dans: Proceedings of ESOP 2020, 29th European Symposium on Programming, Numéro 12075, 2020, Page(s) 56-83, ISBN 9783030449131
Éditeur: Springer

The Space of Interaction

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

Peer reviewed articles (10)

A Relational Theory of Effects and Coeffects

Auteurs: Ugo Dal Lago, Francesco Gavazzo
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 6/POPL, 2022, Page(s) 1-30, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3498692

Multi Types and Reasonable Space

Auteurs: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 6/ICFP, 2022, Page(s) 799--825, ISSN 2475-1421
Éditeur: ACM Press
DOI: 10.1145/3547650

Effectful Program Distancing

Auteurs: Ugo Dal Lago, Francesco Gavazzo
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 6/POPL, 2022, Page(s) 1-28, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3498680

Intersection types and (positive) almost-sure termination

Auteurs: Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-32, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3434313

The (In)Efficiency of interaction

Auteurs: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-33, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3434332

On Model-Checking Higher-Order Effectful Programs

Auteurs: Ugo Dal Lago, Alexis Ghyselen
Publié dans: Proceedings of the ACM for Programming Languages, Numéro 8/POPL, 2024, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3632929

On Feller Continuity and Full Abstraction

Auteurs: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 6/ICFP, 2022, Page(s) 826--854, ISSN 2475-1421
Éditeur: ACM Press
DOI: 10.1145/3547651

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Auteurs: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
Publié dans: Logical Methods in Computer Science, Numéro 16(2), 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(4:2)2020

On probabilistic term rewriting

Auteurs: Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
Publié dans: Science of Computer Programming, Numéro 185, 2020, Page(s) 102338, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2019.102338

On continuation-passing transformations and expected cost analysis

Auteurs: Martin Avanzini, Gilles Barthe, Ugo Dal Lago
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/ICFP, 2021, Page(s) 1-30, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3473592