Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hugo Férée
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ETAPS 2019 profile
ICFP 2022 profile
ICFP 2023 profile
PLDI 2019 profile
POPL 2018 profile
POPL 2023 profile
SPLASH 2024 profile
Registered user since Fri 6 Oct 2017
Name:
Hugo Férée
Country:
United Kingdom
Affiliation:
University of Kent, UK
Personal website:
https://hugo.feree.fr
Contributions
2024
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP
Author of Formalizing and computing propositional quantifiers within the CPP 2023-track
2022
ICFP
France in Evaluators within the Artifact Evaluation-track
2019
PLDI
Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
DICE-FOPARA
PC Member in Program Committee within the DICE-FOPARA-track
2018
ECOOP
Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
CPP
Author of Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations within the CPP 2018-track
Share
x
Thu 21 Nov 14:39
