Follow
Jean-Marie Madiot
Jean-Marie Madiot
Verified email at cs.princeton.edu - Homepage
Title
Cited by
Cited by
Year
Bisimulations up-to: Beyond first-order transition systems
JM Madiot, D Pous, D Sangiorgi
International Conference on Concurrency Theory, 93-108, 2014
232014
Higher-order languages: dualities and bisimulation enhancements
JM Madiot
Ecole normale supérieure de lyon-ENS LYON, 2015
132015
Duality and i/o-Types in the π-Calculus
D Hirschkoff, JM Madiot, D Sangiorgi
CONCUR 2012–Concurrency Theory, 302-316, 2012
82012
Name-passing calculi: from fusions to preorders and types
D Hirschkoff, JM Madiot, D Sangiorgi
Information and Computation 251, 335-360, 2016
52016
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, ...
Technical Report TBD, Department of Computer Science, Princeton University, 2020
42020
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
42015
Constructive axiomatic for the real numbers
JM Madiot, PM Pédrot
Coq Workshop, 2011
32011
Specification of imperative languages using operational semantics in Coq
JM Madiot
Report, slides, 2010
12010
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
2022
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
2021
On Coupled Logical Bisimulation for the Lambda-Calculus
R Kavanagh, JM Madiot
arXiv preprint arXiv:1410.2833, 2014
2014
Symmetries and dualities in name-passing process calculi
D Hirschkoff, JM Madiot, D Sangiorgi
Computing with New Resources, 307-322, 2014
2014
Duality and i/o-types in the π-calculus
JM Madiot
2012
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–14