• Sign in
  • Sign up
conf.researchr.org / Alexandre Moine
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
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

  • 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
xMon 16 Jun 22:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up