9 citations · 14 across the 4 of their papers we have counts for
5 papers
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)
Sadegh Dalvandi, Brijesh Dongol
Transactional memory (TM) is an intensively studied synchronisation paradigm with many proposed implementations in software and hardware, and combinations thereof. However, TM unde…
Reducing Opacity to Linearizability: A Sound and Complete Method
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
Transactional memory is a mechanism that manages thread synchronisation on behalf of a programmer so that blocks of code execute with an illusion of atomicity. The main safety crit…
Principles for Verification Tools: Separation Logic
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A principled approach to the design of program verification and con- struction tools is applied to separation logic. The control flow is modelled by power series with convolution a…
Convolution, Separation and Concurrency
Brijesh Dongol, Ian J. Hayes, Georg Struth
A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales.…
Verifying linearizability: A comparative survey
Brijesh Dongol, John Derrick
Linearizability has become the key correctness criterion for concurrent data structures, ensuring that histories of the concurrent object under consideration are consistent, where…