Scholar
Mark Batty
Google Scholar ID: MnDiDMcAAAAJ
University of Cambridge
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
850
H-index
15
i10-index
15
Publications
20
Co-authors
0
Publications
3 items
Episodic Loops: Finitary Event Structures and Operational Semantics for C11 Programs with Retries
2026
Cited
0
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
2025
Cited
0
Memory Consistency and Program Transformations
arXiv.org · 2024
Cited
0
