Jean-Marie Madiot
Jean-Marie Madiot
Verified email at - Homepage
Cited by
Cited by
Bisimulations up-to: Beyond first-order transition systems
JM Madiot, D Pous, D Sangiorgi
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
Higher-order languages: dualities and bisimulation enhancements
JM Madiot
Ecole normale supérieure de lyon-ENS LYON, 2015
Duality and i/o-Types in the π-Calculus
D Hirschkoff, JM Madiot, D Sangiorgi
CONCUR 2012–Concurrency Theory, 302-316, 2012
Name-passing calculi: from fusions to preorders and types
D Hirschkoff, JM Madiot, D Sangiorgi
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 378-387, 2013
Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language
S Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ...
Department of Computer Science, Princeton University, 2020
A behavioural theory for a π-calculus with preorders
D Hirschkoff, JM Madiot, X Xian
Journal of Logical and Algebraic Methods in Programming 84 (6), 806-825, 2015
A separation logic for heap space under garbage collection
JM Madiot, F Pottier
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
Constructive axiomatic for the real numbers
JM Madiot, PM Pédrot
Coq Workshop, 2011
Specification of imperative languages using operational semantics in Coq
JM Madiot
Report, slides, 0
Modular coinduction up-to for higher-order languages via first-order transition systems
D Sangiorgi, D Pous, JM Madiot
Logical Methods in Computer Science 17, 2021
Name-passing calculi: From fusions to preorders and types
D Hirschkoff, JM Madiot, D Sangiorgi
Information and Computation 251, 335-360, 2016
Symmetries and dualities in name-passing process calculi
D Hirschkoff, JM Madiot, D Sangiorgi
Computing with New Resources: Essays Dedicated to Jozef Gruska on the …, 2014
On Coupled Logical Bisimulation for the Lambda-Calculus
R Kavanagh, JM Madiot
arXiv preprint arXiv:1410.2833, 2014
Duality and i/o-types in the π-calculus
JM Madiot
Top-to-bottom verification of well synchronized C programs on weakly consistent machines
S Cuellar, N Giannarakis, JM Madiot, L Beringer, Q Cao, A Appel
The system can't perform the operation now. Try again later.
Articles 1–15