Alexandre Moine
Scholar

Alexandre Moine

Google Scholar ID: TytnePYAAAAJ
New York University
computer scienceformal verificationseparation logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
28
 
H-index
3
 
i10-index
1
 
Publications
6
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
2 items
TypeDis: A Type System for Disentanglement
2025
Cited
0
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
2025
Cited
0
Resume (English only)
Co-authors
5 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Sam Westrick
Sam Westrick
New York University
Stephanie Balzer
Stephanie Balzer
Carnegie Mellon University
Co-author 5
Co-author 5