Follow
Simon Doherty
Simon Doherty
Verified email at sheffield.ac.uk
Title
Cited by
Cited by
Year
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
1462004
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
1052004
Towards formally specifying and verifying transactional memory
S Doherty, L Groves, V Luchangco, M Moir
Formal Aspects of Computing 25 (5), 769-799, 2013
1022013
Verifying concurrent data structures by simulation
R Colvin, S Doherty, L Groves
Electronic Notes in Theoretical Computer Science 137 (2), 93-110, 2005
532005
Verifying C11 programs operationally
S Doherty, B Dongol, H Wehrheim, J Derrick
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
472019
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
422004
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
362009
Owicki-Gries reasoning for C11 RAR
S Dalvandi, S Doherty, B Dongol, H Wehrheim
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
302020
Modelling and verifying non-blocking algorithms that use dynamically allocated memory
S Doherty
Master's thesis, Victoria University of Wellington, 2003
292003
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
232018
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
192022
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
182019
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
162017
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
162010
Lightweight reference counting using single-target synchronization
S Doherty, MP Herlihy, VM Luchangco, MS Moir
US Patent 7,769,791, 2010
142010
Nonblocking algorithms and backward simulation
S Doherty, M Moir
International Symposium on Distributed Computing, 274-288, 2009
142009
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
122022
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
112017
Linearizability and causality
S Doherty, J Derrick
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
112016
Convolution and concurrency
J Cranch, S Doherty, G Struth
Mathematical Structures in Computer Science 31 (8), 918-949, 2021
102021
The system can't perform the operation now. Try again later.
Articles 1–20