2021

• M. Avanzini and G. Barthe U. Dal Lago. “On Continuation-passing Transformations and Expected Cost Analysis”. Proceedings of the ACM on Programming Languages 5, 2021. Association for Computing Machinery. © Creative Commons License - ND.

2019

• M. Avanzini and A. Ghyselen and U. Dal Lago. “Type-Based Complexity Analysis of Probabilistic Functional Programs”. (Preprint). Proceedings of the 34th Logics in Computer Science Symposium, pages 1–13, 2019. IEEE.

2017

• M. Avanzini and U. Dal Lago. “Automating Size Type Inference and Complexity Analysis”. Proceedings of the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017.

• M. Avanzini and U. Dal Lago. “Automating Sized-Type Inference for Complexity Analysis”. Proceedings of the ACM on Programming Languages 1, 2017. Association for Computing Machinery. © Creative Commons License - ND.

2014

• M. Avanzini and B. Felgenhauer. “Type Introduction for Runtime Complexity Analysis”. Proceedings of the 14th Workshop on Termination, 2014.