| 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 | 13 | 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 | 8 | 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 | 3 | 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 |
| Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science H Daniel, JM Madiot, D Sangiorgi 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 378-387, 2013 | | 2013 |
| Duality and i/o-types in the π-calculus JM Madiot | | 2012 |
| Duality and i/o-Types in the π-Calculus H Daniel, JM Madiot, D Sangiorgi LECTURE NOTES IN COMPUTER SCIENCE 7454, 302-316, 2012 | | 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 | | |
