ludovic henrio
École Normale Supérieure de Lyon
H-index: 20
Europe-France
Top articles of ludovic henrio
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Locally abstract, globally concrete semantics of concurrent programming languages | ACM Transactions on Programming Languages and Systems | Crystal Chang Din Reiner Hähnle Ludovic Henrio Einar Broch Johnsen Violet Ka I Pun | 2024 |
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving | Oussama Oulkaid Bruno Ferres Matthieu Moy Pascal Raymond Mehdi Khosravian | 2024/3/25 | |
Active Objects Based on Algebraic Effects | Martin Andrieux Ludovic Henrio Gabriel Radanne | 2024/1/29 | |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory | Bruno Ferres Oussama Oulkaid Ludovic Henrio M Moy G Radanne | 2023/4/17 | |
A survey on parallelism and determinism | Laure Gonnord Ludovic Henrio Lionel Morel Gabriel Radanne | 2023/2/2 | |
Compositional equivalences based on open pNets | Journal of Logical and Algebraic Methods in Programming | Rabéa Ameur-Boulifa Ludovic Henrio Eric Madelaine | 2023/2/1 |
Provably Fair Cooperative Scheduling | arXiv preprint arXiv:2312.16977 | Reiner Hähnle Ludovic Henrio | 2023/12/28 |
Choice trees: Representing nondeterministic, recursive, and impure programs in coq | Proceedings of the ACM on Programming Languages | Nicolas Chappe Paul He Ludovic Henrio Yannick Zakowski Steve Zdancewic | 2023/1/9 |
Refinements for Open Automata | Rabéa Ameur-Boulifa Quentin Corradi Ludovic Henrio Eric Madelaine | 2023/10/31 | |
Component-based distributed software reconfiguration: a verification-oriented survey | Hélène Coullon Ludovic Henrio Frédéric Loulergue Simon Robillard | 2023/8/26 | |
Formalising Futures and Promises in Viper | Cinzia Giusto Loïc Germerie Guizouarn Ludovic Henrio Etienne Lozes | 2022/6/28 | |
LAGC semantics of concurrent programming languages | arXiv preprint arXiv:2202.12195 | Crystal Chang Din Reiner Hähnle Ludovic Henrio Einar Broch Johnsen Violet Ka I Pun | 2022/2/24 |
S4BXI: the MPI-ready Portals 4 Simulator | Julien Emmanuel Matthieu Moy Ludovic Henrio Grégoire Pichon | 2021/11/3 | |
An optimised flow for futures: from theory to practice | arXiv preprint arXiv:2107.07298 | Nicolas Chappe Ludovic Henrio Amaury Maillé Matthieu Moy Hadrien Renaud | 2021/7/15 |
Promise plus: Flexible synchronization for parallel computations on arrays | Amaury Maillé Ludovic Henrio Matthieu Moy | 2021/5/19 | |
Distributed futures for efficient data transfer between parallel processes | Pierre Leca Wijnand Suijlen Ludovic Henrio Françoise Baude | 2020/3/30 | |
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems | Journal of Logical and Algebraic Methods in Programming | Ludovic Henrio Christoph Kessler Lu Li | 2020/1/1 |
Simulation of the Portals 4 protocol, and case study on the BXI interconnect | Julien Emmanuel Matthieu Moy Ludovic Henrio Grégoire Pichon | 2020/12/10 | |
Active objects with deterministic behaviour | Ludovic Henrio Einar Broch Johnsen Violet Ka I Pun | 2020/11/13 |