Concepedia

Simon Doherty

SD

11

Publications

387

Citations

11

H-Index

2004

Active since

Affiliations

University of Sheffield(Current)

Victoria University of Wellington

Paderborn University

University of Surrey

University of Augsburg

Simon Doherty is an author at University of Sheffield specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisVerificationFormal VerificationSystem SoftwareAutomated ReasoningComputer Engineering

Publications per year

2004–2022

11

Publications

11

DCAS is not a silver bullet for nonblocking algorithm design

Simon Doherty, David Detlefs, Lindsay Groves et al. · 2004 · 82 citations

Engineering, Computer Architecture, Computational Complexity +16

Towards formally specifying and verifying transactional memory

Simon Doherty, Lindsay Groves, Victor Luchangco et al. · Formal Aspects of Computing · 2012 · 81 citations

Verifying Concurrent Data Structures by Simulation

Robert J. Colvin, Simon Doherty, Lindsay Groves · Electronic Notes in Theoretical Computer Science · 2005 · 47 citations · Full text

Engineering, Verification, Backward Simulation +17

Bringing practical lock-free synchronization to 64-bit applications

Simon Doherty, Maurice Herlihy, Victor Luchangco et al. · 2004 · 35 citations

Engineering, Arbitrary Size, Computer Architecture +21

Verifying C11 programs operationally

Simon Doherty, Brijesh Dongol, Heike Wehrheim et al. · 2019 · 34 citations

Software Maintenance, C11 Programs, C11 Memory Model +20

Rows per page

1–5 of 11