ludovic henrio
École Normale Supérieure de Lyon
H-index: 20
Europe-France
Top articles of ludovic henrio
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
2024/3/25
Ludovic Henrio
H-Index: 14
Active Objects Based on Algebraic Effects
2024/1/29
Ludovic Henrio
H-Index: 14
Locally abstract, globally concrete semantics of concurrent programming languages
ACM Transactions on Programming Languages and Systems
2024
Provably Fair Cooperative Scheduling
arXiv preprint arXiv:2312.16977
2023/12/28
Reiner Hähnle
H-Index: 21
Ludovic Henrio
H-Index: 14
Refinements for Open Automata
2023/10/31
Ludovic Henrio
H-Index: 14
Component-based distributed software reconfiguration: a verification-oriented survey
2023/8/26
Ludovic Henrio
H-Index: 14
Simon Robillard
H-Index: 6
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
2023/4/17
Ludovic Henrio
H-Index: 14
A survey on parallelism and determinism
2023/2/2
Ludovic Henrio
H-Index: 14
Compositional equivalences based on open pNets
Journal of Logical and Algebraic Methods in Programming
2023/2/1
Ludovic Henrio
H-Index: 14
Choice trees: Representing nondeterministic, recursive, and impure programs in coq
Proceedings of the ACM on Programming Languages
2023/1/9
Formalising Futures and Promises in Viper
2022/6/28
Ludovic Henrio
H-Index: 14
LAGC semantics of concurrent programming languages
arXiv preprint arXiv:2202.12195
2022/2/24
Reiner Hähnle
H-Index: 21
Ludovic Henrio
H-Index: 14
Einar Broch Johnsen
H-Index: 17
Silvia Lizeth Tapia Tarifa
H-Index: 9
An optimised flow for futures: from theory to practice
arXiv preprint arXiv:2107.07298
2021/7/15
Ludovic Henrio
H-Index: 14
Promise plus: Flexible synchronization for parallel computations on arrays
2021/5/19
Ludovic Henrio
H-Index: 14
Simulation of the Portals 4 protocol, and case study on the BXI interconnect
2020/12/10
Ludovic Henrio
H-Index: 14
Grégoire Pichon
H-Index: 6
Active objects with deterministic behaviour
2020/11/13
Ludovic Henrio
H-Index: 14
Einar Broch Johnsen
H-Index: 17
Distributed futures for efficient data transfer between parallel processes
2020/3/30
Ludovic Henrio
H-Index: 14
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
Journal of Logical and Algebraic Methods in Programming
2020/1/1
Co-Authors
