• Sign in
  • Sign up
conf.researchr.org / Jean-Marie Madiot
  • ECOOP and ISSTA 2023 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2025 profile
  • POPL 2022 profile
Jean-Marie Madiot

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
xWed 9 Jul 04:50
using conf.researchr.org (v1.69.1)
Support page
Sign Up