| Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 319 | 2010 |
| Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 159 | 2009 |
| Library abstraction for C/C++ concurrency M Batty, M Dodds, A Gotsman ACM SIGPLAN Notices 48 (1), 235-248, 2013 | 120 | 2013 |
| A scalable, correct time-stamped stack M Dodds, A Haas, CM Kirsch ACM SIGPLAN Notices 50 (1), 233-246, 2015 | 74 | 2015 |
| Modular reasoning for deterministic parallelism M Dodds, S Jagannathan, MJ Parkinson ACM SIGPLAN Notices 46 (1), 259-270, 2011 | 46 | 2011 |
| Proving linearizability using partial orders A Khyzha, M Dodds, A Gotsman, M Parkinson Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 36 | 2017 |
| coreStar: The core of jStar M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ... Boogie 2011, 65-77, 2011 | 33 | 2011 |
| Explicit stabilisation for modular rely-guarantee reasoning J Wickerson, M Dodds, M Parkinson European Symposium on Programming, 610-629, 2010 | 31 | 2010 |
| A simple abstraction for complex concurrent indexes P da Rocha Pinto, T Dinsdale-Young, M Dodds, P Gardner, ... ACM SIGPLAN Notices 46 (10), 845-864, 2011 | 28 | 2011 |
| On the formal verification of the stellar consensus protocol G Losa, M Dodds 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 24 | 2020 |
| Compositional verification of compiler optimisations on relaxed memory M Dodds, M Batty, A Gotsman Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 22* | 2018 |
| From hyperedge replacement to separation logic and back M Dodds, D Plump Electronic Communications of the EASST 16, 2009 | 21* | 2009 |
| Verifying custom synchronization constructs using higher-order separation logic M Dodds, S Jagannathan, MJ Parkinson, K Svendsen, L Birkedal ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-72, 2016 | 20 | 2016 |
| Graph transformation and pointer structures M Dodds University of York, 2008 | 20 | 2008 |
| Starling: lightweight concurrency verification with views M Windsor, M Dodds, B Simner, MJ Parkinson Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 19 | 2017 |
| Graph transformation in constant time M Dodds, D Plump International Conference on Graph Transformation, 367-382, 2006 | 19 | 2006 |
| Extending C for checking shape safety M Dodds, D Plump Electronic Notes in Theoretical Computer Science 154 (2), 95-112, 2006 | 18 | 2006 |
| Ribbon proofs for separation logic J Wickerson, M Dodds, M Parkinson Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 16 | 2013 |
| Proof-directed parallelization synthesis by separation logic M Botinčan, M Dodds, S Jagannathan ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 1-60, 2013 | 15 | 2013 |
| Towards rigorously faking bidirectional model transformations CM Poskitt, M Dodds, RF Paige, A Rensink AMT 2014-Analysis of Model Transformations Workshop Proceedings 1277, 70-75, 2014 | 14 | 2014 |
