• Sign in
  • Sign up
conf.researchr.org / Ludovic Henrio
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • POPL 2023 profile
  • SPLASH 2015 profile
  • SPLASH 2019 profile
  • ‹Programming› 2018 profile
  • ‹Programming› 2022 profile
Ludovic Henrio

Registered user since Mon 17 Sep 2018

Name:Ludovic Henrio
Country:France
Affiliation:University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP
Personal website:https://lhenrio.github.io/

Contributions

POPL 2023 Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track
‹Programming› 2022 Author of An Optimised Flow for Futures: From Theory to Practice within the Research Papers-track
AGERE 2019 Committee Member in Program Committee within the AGERE 2019-track
ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
TACAS 2019 Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track
‹Programming› 2018 Committee Member in Student Grants Committee
PASS 2018 Speaker of SafePlace: Trustable Virtual Machine Scheduling (invited talk) within the PASS 2018-track
AGERE! 2015 Committee Member in Program Committee within the AGERE-track

Share
xThu 1 Jun 00:03
using conf.researchr.org (v1.60.0)
Support page
Sign Up