2021

• Martin Avanzini, Gilles Barthe and Ugo Dal Lago. “On continuation-passing transformations and expected cost analysis”. Proc. ACM Program. Lang. 5 (ICFP): 1–30 (2021)

2019

• Martin Avanzini, Ugo Dal Lago and Alexis Ghyselen. “Type-Based Complexity Analysis of Probabilistic Functional Programs”. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pages 1–13, (2019). IEEE.

2017

• Martin Avanzini and Ugo Dal Lago. “Automated Sized-Type Inference and Complexity Analysis”. Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARAETAPS 2017, Uppsala, Sweden, April 22-23, 2017, volume 248 of EPTCS, pages 7–16, (2017).

• Martin Avanzini and Ugo Dal Lago. “Automating sized-type inference for complexity analysis”. Proc. ACM Program. Lang. 1 (ICFP): 43:1–43:29 (2017)

2014

• M. Avanzini and B. Felgenhauer. “Type Introduction for Runtime Complexity Analysis”. 14th Workshop on Termination (WST), (2014).