• Sign in
  • Sign up
conf.researchr.org / Alexandre Moine
  • POPL 2022 profile
  • POPL 2023 profile
Alexandre Moine

Registered user since Sun 28 Nov 2021

Name:Alexandre Moine
Country:France
Affiliation:Inria
Personal website:http://cambium.inria.fr/~amoine/
GitHub:https://github.com/nobrakal

Contributions

POPL 2023 Author of A High-Level Separation Logic for Heap Space under Garbage Collection within the POPL-track
Session Chair of Friday Breakfast Session Preview (part of Session Previews)
CPP 2022 Author of Specification and Verification of a Transient Stack within the CPP 2022-track

Share
xThu 9 Feb 01:37
using conf.researchr.org (v1.58.0)
Support page
Sign Up