Foto del docente

Ugo Dal Lago

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Dal Lago U.; Gavazzo F.; Yoshimizu A., Differential logical relations, Part I: The simply-typed case, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 132, pp. 1 - 14 (atti di: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, 2019) [Contribution to conference proceedings]Open Access

Dal Lago U.; Gavazzo F., Effectful Normal Form Bisimulation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2019, 11423, pp. 263 - 292 (atti di: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, cze, 2019) [Contribution to conference proceedings]

Baillot P.; Barthe G.; Dal Lago U., Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, «JOURNAL OF AUTOMATED REASONING», 2019, 63, pp. 813 - 855 [Scientific article]

Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contribution to conference proceedings]

Lago, Ugo Dal; Gavazzo, Francesco, On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019., «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contribution to conference proceedings]

Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contribution to conference proceedings]Open Access

Kobayashi N.; Dal Lago U.; Grellois C., On the termination problem for probabilistic higher-order recursive programs, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., 2019, 2019-, pp. 1 - 12 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]

Lago U.D.; Grellois C., Probabilistic termination by monadic affine sized typing, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 65 [Scientific article]

Dal Lago U.; Hoshino N., The Geometry of Bayesian Programming, in: Proceedings of the 34th Symposium on Logic in Computer Science (LICS), IEEE, 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]

Avanzini Martin; Dal Lago U.; Ghyselen A., Type-based complexity analysis of probabilistic functional programs, in: Proceedings of the 34th Symposium on Logic in Computer Science, IEEE, 2019, 2019-, pp. 1 - 13 (atti di: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, SFU Harbour Centre in Downtown Vancouver, can, 2019) [Contribution to conference proceedings]

Breuvart, Flavien; Lago, Ugo Dal, On Intersection Types and Probabilistic Lambda Calculi, in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2018, 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, ASSOC COMPUTING MACHINERY, 2018, pp. 1 - 13 (atti di: Principles and Practice of Declarative Programming, Frankfurt am Main, Germany, September 2018) [Contribution to conference proceedings]

Avanzini, Martin*; Dal Lago, Ugo; Yamada, Akihisa, On probabilistic term rewriting, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10818, pp. 132 - 148 (atti di: 14th International Symposium on Functional and Logic Programming, FLOPS 2018, jpn, 2018) [Contribution to conference proceedings]

Avanzini, Martin; Dal Lago, Ugo, On sharing, memoization, and polynomial time, «INFORMATION AND COMPUTATION», 2018, 261, pp. 3 - 22 [Scientific article]

Avanzini, Martin; Ugo Dal, Lago, Automating sized-Type inference and complexity analysis, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2017, 248, pp. 7 - 16 (atti di: 8th Workshop on Developments in Implicit Computational ComplExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis, DICE-FOPARA 2017, Uppsala, Sweden, 2017) [Contribution to conference proceedings]

Avanzini, Martin; Dal Lago, Ugo, Automating sized-type inference for complexity analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [Scientific article]

Latest news

At the moment no news are available.