Jean-Marie Madiot

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 4

Top Topics

Transition Systems

Computer Algebra

Top Venues

Computing with New Resources

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Jean-Marie Madiot, François Pottier
A separation logic for heap space under garbage collection. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Modular coinduction up-to for higher-order languages via first-order transition systems. Log. Methods Comput. Sci. 17 (3) (2021)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Modular coinduction up-to for higher-order languages via first-order transition systems. CoRR (2020)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-passing calculi: From fusions to preorders and types. Inf. Comput. 251 (2016)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A Behavioural Theory for a π-calculus with Preorders. FSEN (2015)
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
A behavioural theory for a π-calculus with preorders. J. Log. Algebraic Methods Program. 84 (6) (2015)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Symmetries and Dualities in Name-Passing Process Calculi. Computing with New Resources (2014)
Ryan Kavanagh, Jean-Marie Madiot
On Coupled Logical Bisimulation for the Lambda-Calculus. CoRR (2014)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Bisimulations Up-to: Beyond First-Order Transition Systems. CONCUR (2014)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-Passing Calculi: From Fusions to Preorders and Types. LICS (2013)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Duality and i/o-Types in the π-Calculus. CONCUR (2012)