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)

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)

2015

• M. Avanzini, U. Dal Lago and G. Moser. “Higher-Order Complexity Analysis: Harnessing First-Order Tools.”. 6th International Workshop on Developments in Implicit Complexity, (2015).

• Martin Avanzini, Ugo Dal Lago and Georg Moser. “Analysing the complexity of functional programs: higher-order meets first-order”. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pages 152–164, (2015). ACM.