Jean-Marie Madiot

Jean-Marie Madiot

Princeton University - Princeton / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5152572
person_outline Jean-Marie Madiot's MOST POPULAR ARTICLES
1-) Bisimulations up-to: Beyond first-order transition systemsJM Madiot, D Pous, D SangiorgiCONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014222014
2-) A separation logic for heap space under garbage collectionJM Madiot, F PottierProceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022132022
3-) Higher-order languages: dualities and bisimulation enhancementsJM MadiotEcole normale supérieure de lyon-ENS LYON; Università degli studi (Bologne …, 2015112015
4-) Duality and i/o-Types in the π-CalculusD Hirschkoff, JM Madiot, D SangiorgiCONCUR 2012–Concurrency Theory, 302-316, 2012102012
5-) Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly languageS Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ...Department of Computer Science, Princeton University, 202092020