| Armed Cats: Formal Concurrency Modelling at Arm | 1 | 0.36 | 2021 |
| Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. | 7 | 0.44 | 2018 |
| Ogre and Pythia: an invariance proof method for weak consistency models. | 4 | 0.40 | 2017 |
| Simulation and Invariance for Weak Consistency. | 2 | 0.37 | 2016 |
| Syntax and semantics of the weak consistency model specification language cat. | 2 | 0.36 | 2016 |
| Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). | 0 | 0.34 | 2016 |
| Syntax and analytic semantics of LISA. | 3 | 0.43 | 2016 |
| New Lace and Arsenic: adventures in weak memory with a program logic. | 3 | 0.37 | 2015 |
| I compute, therefore I am (buggy): methodic doubt meets multiprocessors. | 0 | 0.34 | 2015 |
| Modeling of Architectures | 2 | 0.40 | 2015 |
| GPU Concurrency: Weak Behaviours and Programming Assumptions | 48 | 1.62 | 2015 |
| Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory | 47 | 1.46 | 2014 |
| Concurrent Kleene Algebra of Partial Strings. | 1 | 0.36 | 2014 |
| Partial orders for efficient bounded model checking of concurrent software | 66 | 1.81 | 2013 |
| Partial Orders for Efficient BMC of Concurrent Software | 3 | 0.43 | 2013 |
| Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. | 15 | 0.63 | 2013 |
| Software verification for weak memory via program transformation | 51 | 1.32 | 2013 |
| Herding Cats. | 0 | 0.34 | 2013 |
| A formal hierarchy of weak memory models | 21 | 0.79 | 2012 |
| Synchronising C/C++ and POWER | 36 | 1.36 | 2012 |
| Fences in weak memory models (extended version) | 20 | 0.93 | 2012 |
| An axiomatic memory model for POWER multiprocessors | 48 | 1.26 | 2012 |
| Soundness of data flow analyses for weak memory models | 9 | 0.56 | 2011 |
| Litmus: running tests against hardware | 32 | 1.41 | 2011 |
| Making software verification tools really work | 10 | 0.67 | 2011 |
| Understanding POWER multiprocessors | 62 | 3.07 | 2011 |
| Stability in weak memory models | 36 | 1.20 | 2011 |
| Fences in weak memory models | 36 | 1.93 | 2010 |
| The semantics of power and ARM multiprocessor machine code | 43 | 1.58 | 2009 |
