Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jean-Marie Madiot
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP/SPLASH 2025 profile
PLDI 2025 profile
POPL 2022 profile
Registered user since Tue 12 Jan 2016
Name:
Jean-Marie Madiot
Contributions
2025
ICFP
Author of Formal Semantics and Program Logics for a Fragment of OCaml within the ICFP Papers-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2023
ECOOP
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
2022
POPL
Author of A Separation Logic for Heap Space under Garbage Collection within the POPL-track
Share
x
Wed 9 Jul 04:50
