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
2027
2026
ICFP
- Student Research Competition Co-Chair in Program Committee within the ICFP SRC-track
- Student Research Competition Co-Chair in Organising Committee
- Author of A Separation Logic for Parallel Time Complexity with Work and Span Credits within the ICFP Papers-track
- Author of A Separation Logic for Parallel Time Complexity with Work and Span Credits within the ICFP Artifacts-track
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