| 2024 | CCS | On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead). | Davide Davoli, Martin Avanzini, Tamara Rezk |
| 2024 | ESOP | On the Hardness of Analyzing Quantum Programs Quantitatively. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix |
| 2022 | LICS | Quantum Expectation Transformers for Cost Analysis. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix, Vladimir Zamdzhiev |
| 2019 | LICS | Type-Based Complexity Analysis of Probabilistic Functional Programs. | Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
| 2018 | FLOPS | On Probabilistic Term Rewriting. | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada |
| 2016 | TACAS | TcT: Tyrolean Complexity Tool. | Martin Avanzini, Georg Moser, Michael Schaper |
| 2015 | ICFP | Analysing the complexity of functional programs: higher-order meets first-order. | Martin Avanzini, Ugo Dal Lago, Georg Moser |
| 2015 | STACS | On Sharing, Memoization, and Polynomial Time. | Martin Avanzini, Ugo Dal Lago |
| 2012 | APLAS | A New Order-Theoretic Characterisation of the Polytime Computable Functions. | Martin Avanzini, Naohi Eguchi, Georg Moser |
| 2010 | FLOPS | Complexity Analysis by Graph Rewriting. | Martin Avanzini, Georg Moser |
| 2008 | CADE | Automated Implicit Computational Complexity Analysis (System Description). | Martin Avanzini, Georg Moser, Andreas Schnabl |
| 2008 | FLOPS | Complexity Analysis by Rewriting. | Martin Avanzini, Georg Moser |