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