Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexandre Moine
conf.researchr.org general profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Sun 28 Nov 2021
Name:
Alexandre Moine
Country:
France
Affiliation:
Inria
Personal website:
http://cambium.inria.fr/~amoine/
Contributions
2024
POPL
Author of DisLog: A Separation Logic for Disentanglement within the POPL-track
2023
POPL
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)
2022
CPP
Author of Specification and Verification of a Transient Stack within the CPP 2022-track
Share
x
Wed 24 Apr 11:00