• Sign in
  • Sign up
conf.researchr.org / Gabriele Vanoni
  • ICFP 2022 profile
  • ICFP 2024 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2024 profile
Gabriele Vanoni

Registered user since Sun 15 Nov 2020

Name:Gabriele Vanoni
Affiliation:IRIF, Université Paris Cité
Personal website: https://vanoni.me

Contributions

2025

POPL

  • Committee Member in Program Committee within the POPL-track
  • Author of Interaction Equivalence within the POPL-track

2024

SPLASH

  • Author of Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs within the OOPSLA 2024-track

ICFP

  • Student Volunteer Co-Chair in Organizing Committee

POPL

  • Session Chair of Thursday Morning Session Previews (part of Session Previews)
  • Author of Higher Order Bayesian Networks, Exactly within the POPL-track
  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

GaLoP

  • Author of Invisible pebbles and the geometry of affine higher-order tree transducers within the GALOP 2024-track

2022

ICFP

  • Author of Multi Types and Reasonable Space within the ICFP Papers and Events-track

2021

POPL

  • Author of The (In)Efficiency of Interaction within the POPL-track
Share
xSat 24 May 23:58
using conf.researchr.org (v1.69.0)
Support page
Sign Up