Publications
My DBLP entry should be always updated.
Doctoral Dissertation
G. Vanoni. On Reasonable Space and Time Cost Models for the λ-Calculus. Università di Bologna 2022. [ link ]
Journal papers
Conferences papers
- B. Accattoli, U. Dal Lago and G. Vanoni. Multi Types and Reasonable Space. ICFP 2022. Winner of the Distinguished Paper Award. [ link ]
- B. Accattoli, U. Dal Lago and G. Vanoni. Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022. Invited to the LMCS Special Issue. [ link ]
- B. Accattoli, U. Dal Lago and G. Vanoni. The Space of Interaction. LICS 2021. [ link | pdf ]
- B. Accattoli, U. Dal Lago and G. Vanoni. The (In)Efficiency of Interaction. POPL 2021. [ link ]
- B. Accattoli, U. Dal Lago and G. Vanoni. The Machinery of Interaction. PPDP 2020. [ link | slides ]
- U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. ICTCS 2018. [ pdf ]
Others
- B. Accattoli, U. Dal Lago and G. Vanoni. Interacting Seems Unreasonable, in Time and Space. ITRS 2021. [ pdf ]
- B. Accattoli, U. Dal Lago and G. Vanoni. The Geometry of Abstract Machines. TLLA 2019. [ pdf ]
Invited Seminars
- The Time and Space of Interaction, CHoCoLa Seminar, April 2021. [ slides ]
- On Higher-Order (In)Efficiency, Université Sorbonne Paris Nord, October 2020. [ slides ]
- The Complexity of Interaction Abstract Machines, University of Bath, June 2020.
- The Complexity of Interaction Abstract Machines, École polytechnique, June 2020.
- The Complexity of Interaction Abstract Machines, Université Sorbonne Paris Nord, April 2020.
- The Geometry of Abstract Machines, Kyoto University, July 2019.
Service to the Community
- Member of the Artifact Evaluation Committee of ICFP 2021.
- Reviewer for FSCD 2019, LICS 2020, FoSSaCS 2021, ICALP 2021, PPDP 2021, MFPS 2022, CSL 2023, LMCS.