Formal verification of a practical lock-free queue algorithm S Doherty, L Groves, V Luchangco, M Moir Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 146 | 2004 |
DCAS is not a silver bullet for nonblocking algorithm design S Doherty, DL Detlefs, L Groves, CH Flood, V Luchangco, PA Martin, ... Proceedings of the sixteenth annual ACM symposium on Parallelism in …, 2004 | 105 | 2004 |
Towards formally specifying and verifying transactional memory S Doherty, L Groves, V Luchangco, M Moir Formal Aspects of Computing 25 (5), 769-799, 2013 | 102 | 2013 |
Verifying concurrent data structures by simulation R Colvin, S Doherty, L Groves Electronic Notes in Theoretical Computer Science 137 (2), 93-110, 2005 | 53 | 2005 |
Verifying C11 programs operationally S Doherty, B Dongol, H Wehrheim, J Derrick Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019 | 48 | 2019 |
Bringing practical lock-free synchronization to 64-bit applications S Doherty, M Herlihy, V Luchangco, M Moir Proceedings of the twenty-third annual ACM symposium on Principles of …, 2004 | 42 | 2004 |
Towards formally specifying and verifying transactional memory S Doherty, L Groves, V Luchangco, M Moir Electronic Notes in Theoretical Computer Science 259, 245-261, 2009 | 36 | 2009 |
Owicki-Gries reasoning for C11 RAR S Dalvandi, S Doherty, B Dongol, H Wehrheim 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 30 | 2020 |
Modelling and verifying non-blocking algorithms that use dynamically allocated memory S Doherty Master's thesis, Victoria University of Wellington, 2003 | 29 | 2003 |
Making linearizability compositional for partially ordered executions S Doherty, B Dongol, H Wehrheim, J Derrick Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 23 | 2018 |
Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL S Dalvandi, B Dongol, S Doherty, H Wehrheim Journal of automated reasoning 66 (1), 141-171, 2022 | 19 | 2022 |
Verifying correctness of persistent concurrent data structures J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim International Symposium on Formal Methods, 179-195, 2019 | 18 | 2019 |
Proving opacity of a pessimistic STM S Doherty, B Dongol, J Derrick, G Schellhorn, H Wehrheim 20th International Conference on Principles of Distributed Systems (OPODIS 2016), 2017 | 16 | 2017 |
Code preparation technique employing lock-free pointer operations MS Moir, DL Detlefs, S Doherty, MP Herlihy, VM Luchangco, PA Martin, ... US Patent 7,805,467, 2010 | 16 | 2010 |
Lightweight reference counting using single-target synchronization S Doherty, MP Herlihy, VM Luchangco, MS Moir US Patent 7,769,791, 2010 | 14 | 2010 |
Nonblocking algorithms and backward simulation S Doherty, M Moir International Symposium on Distributed Computing, 274-288, 2009 | 14 | 2009 |
Unifying operational weak memory verification: an axiomatic approach S Doherty, S Dalvandi, B Dongol, H Wehrheim ACM transactions on computational logic 23 (4), 1-39, 2022 | 12 | 2022 |
Proving opacity via linearizability: a sound and complete method A Armstrong, B Dongol, S Doherty Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 11 | 2017 |
Linearizability and causality S Doherty, J Derrick Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 11 | 2016 |
Convolution and concurrency J Cranch, S Doherty, G Struth Mathematical Structures in Computer Science 31 (8), 918-949, 2021 | 10 | 2021 |