Scholar
Alexandre Moine
Google Scholar ID: TytnePYAAAAJ
New York University
computer science
formal verification
separation logic
Follow
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
4 items
Mizzle: A Complete Concurrent Incorrectness Logic for Preventing False Alarms in Agentic Bug Finding
2026
Cited
0
A Separation Logic for Parallel Time Complexity with Work and Span Credits
2026
Cited
0
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 2
Sam Westrick
New York University
Stephanie Balzer
Carnegie Mellon University
Co-author 5
