Bisimulations up-to: Beyond first-order transition systems JM Madiot, D Pous, D Sangiorgi CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 22 | 2014 |
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 | 18 | 2022 |
Higher-order languages: dualities and bisimulation enhancements JM Madiot Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Bologne …, 2015 | 11 | 2015 |
Duality and i/o-Types in the π-Calculus D Hirschkoff, JM Madiot, D Sangiorgi CONCUR 2012–Concurrency Theory, 302-316, 2012 | 10 | 2012 |
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 | 9 | 2020 |
Name-passing calculi: from fusions to preorders and types D Hirschkoff, JM Madiot, D Sangiorgi Information and Computation 251, 335-360, 2016 | 5 | 2016 |
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 | 4 | 2015 |
Constructive axiomatic for the real numbers JM Madiot, PM Pédrot Coq Workshop, 2011 | 2 | 2011 |
Specification of imperative languages using operational semantics in Coq JM Madiot Report, slides, 0 | 1 | |
Modular coinduction up-to for higher-order languages via first-order transition systems JM Madiot, D Pous, D Sangiorgi Logical Methods in Computer Science 17, 2021 | | 2021 |
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 | | 2014 |
On Coupled Logical Bisimulation for the Lambda-Calculus R Kavanagh, JM Madiot arXiv preprint arXiv:1410.2833, 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 | | |