Batty, Mark

1. Spegion: Implicit and Non-Lexical Regions with Sized Allocations
   2025/06/02 by Hughes, Jack, Vollmer, Michael, Batty, Mark · 3 voices · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Compositional Verification of Compiler Optimisations on Relaxed Memory
   2018/02/16 by Dodds, Mike, Batty, Mark, Gotsman, Alexey · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
   2021/08/03 by Daniel Wright, Wright, Daniel, Mark Batty +3 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing