Alexandre Moine -

Registered user since Sun 28 Nov 2021

Name:Alexandre Moine

Country:United States

Affiliation:NYU

Personal website: https://cs.nyu.edu/~am15509/

GitHub: https://github.com/nobrakal

Contributions

2024

ICFP

Author of Snapshottable Stores within the ICFP Papers and Events-track

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