conf.researchr.org / 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
2026
PLMW
POPL
- Author of (TOPLAS) Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection within the POPL-track
- Author of TypeDis: A Type System for Disentanglement within the POPL-track
- Author of All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs within the POPL-track