Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gabriele Vanoni
conf.researchr.org general profile
ICFP 2022 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2024 profile
Registered user since Sun 15 Nov 2020
Name:
Gabriele Vanoni
Affiliation:
IRIF, Université Paris Cité
Personal website:
http://vanoni.me
Contributions
2024
SPLASH
Author of Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs within the OOPSLA 2024-track
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
Wed 24 Apr 13:22