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