23
Publications
1.5K
Citations
19
H-Index
1969
Active since
Mark Batty is an author at University of Cambridge specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisComputer EngineeringComputer ArchitectureParallel ComputingParallel ProgrammingFormal MethodsSystem SoftwareFormal Verification
Publications per year
1969–2022
23
23
Mark Batty, Scott Owens, Susmit Sarkar et al. · 2011 · 261 citations
Mark Batty, Scott Owens, Susmit Sarkar et al. · ACM SIGPLAN Notices · 2011 · 249 citations
Jade Alglave, Mark Batty, Alastair F. Donaldson et al. · 2015 · 114 citations
Susmit Sarkar, Kayvan Memarian, Scott Owens et al. · 2012 · 96 citations · Full text
Engineering, Computer Architecture, Memory Model (Programming) +18
Automatically comparing memory consistency models
John Wickerson, Mark Batty, Tyler Sorensen et al. · 2016 · 96 citations
Rows per page
1–5 of 23