Alexandre Moine -

Registered user since Sun 28 Nov 2021

Name:Alexandre Moine

Country:United States

Affiliation:New York University

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

GitHub: https://github.com/nobrakal

Contributions

2025

ICFP

Committee Member in ICFP Programme Committee within the ICFP Papers-track

HOPE

Committee Member in Program Committee within the HOPE 2025-track

PLMW

Panelist of PLMW Panel within the PLMW @ POPL 2025-track

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

2022

CPP

Author of Specification and Verification of a Transient Stack within the CPP 2022-track