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

2025

CPP

Author of Monadic interpreters for concurrent memory models: Executable semantics of a concurrent subset of LLVM IR within the CPP 2025-track

2024

FProPer

Author of Tail Modulo Async/Await within the FProPer 2024-track

OCaml

Author of Distributed Actors in OCaml within the OCaml Users and Developers Workshop 2024-track

‹Programming›

Author of Provably Fair Cooperative Scheduling within the Research Papers-track

2023

POPL

Author of Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq within the POPL-track

2022

‹Programming›

Author of An Optimised Flow for Futures: From Theory to Practice within the Research Papers-track

2019

AGERE

Committee Member in Program Committee within the AGERE 2019-track

ECOOP

FASE

Committee Member in Program Committee within the FASE 2019-track

TACAS

Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track

2018

‹Programming›

Committee Member in Student Grants Committee

PASS

Speaker of SafePlace: Trustable Virtual Machine Scheduling (invited talk) within the PASS 2018-track

2015

AGERE

Committee Member in Program Committee within the AGERE-track