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

  1. U. Dal Lago and G. Vanoni. On randomised strategies in the λ-calculus. TCS 2020. [ link | pdf ]

Conferences papers

  1. B. Accattoli, U. Dal Lago and G. Vanoni. Multi Types and Reasonable Space. ICFP 2022. Winner of the Distinguished Paper Award. [ link ]
  2. B. Accattoli, U. Dal Lago and G. Vanoni. Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022. Invited to the LMCS Special Issue. [ link ]
  3. B. Accattoli, U. Dal Lago and G. Vanoni. The Space of Interaction. LICS 2021. [ link | pdf ]
  4. B. Accattoli, U. Dal Lago and G. Vanoni. The (In)Efficiency of Interaction. POPL 2021. [ link ]
  5. B. Accattoli, U. Dal Lago and G. Vanoni. The Machinery of Interaction. PPDP 2020. [ link | slides ]
  6. U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. ICTCS 2018. [ pdf ]

Others

  1. B. Accattoli, U. Dal Lago and G. Vanoni. Interacting Seems Unreasonable, in Time and Space. ITRS 2021. [ pdf ]
  2. B. Accattoli, U. Dal Lago and G. Vanoni. The Geometry of Abstract Machines. TLLA 2019. [ pdf ]

Invited Seminars

  1. The Time and Space of Interaction, CHoCoLa Seminar, April 2021. [ slides ]
  2. On Higher-Order (In)Efficiency, Université Sorbonne Paris Nord, October 2020. [ slides ]
  3. The Complexity of Interaction Abstract Machines, University of Bath, June 2020.
  4. The Complexity of Interaction Abstract Machines, École polytechnique, June 2020.
  5. The Complexity of Interaction Abstract Machines, Université Sorbonne Paris Nord, April 2020.
  6. 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.