Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gabriele Vanoni
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
POPL 2021 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2024 profile
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
x
Sun 22 Dec 14:49
