Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
He-Chuan Yang
Adrian Newton
Claudia Calabrese
Hao Mao
Peter Malec
R. Hamdi
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MARK BATTY
Author Info
Open Visualization
Name
Affiliation
Papers
MARK BATTY
University of Cambridge, Cambridge, United Kingdom
12
Collaborators
Citations
PageRank
30
203
9.21
Referers
Referees
References
275
244
235
Search Limit
100
275
Publications (12 rows)
Collaborators (30 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
0
0.34
2021
PrideMM: Second Order Model Checking for Memory Consistency Models.
0
0.34
2019
PrideMM: A Solver for Relaxed Memory Models.
1
0.34
2019
Compositional Verification of Compiler Optimisations on Relaxed Memory.
0
0.34
2018
Automatically comparing memory consistency models.
24
0.70
2017
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
3
0.37
2017
The Problem of Programming Language Concurrency Semantics.
31
0.98
2015
C/C++ Causal Cycles Confound Compositionality.
1
0.36
2013
Library abstraction for C/C++ concurrency
45
1.77
2013
Synchronising C/C++ and POWER
36
1.36
2012
Clarifying and compiling C/C++ concurrency: from C++11 to POWER
50
1.62
2012
Nitpicking c++ concurrency
12
0.70
2011
1
