Brijesh Dongol

Identifiers

No identifiers captured yet.

Papers (12)

1. Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version) cs.PL · 2023 · author #2
2. Verifying C11 Programs Operationally cs.PL · 2018 · author #2
3. Causal Linearizability: Compositionality for Partially Ordered Executions cs.LO · 2018 · author #3
4. Reducing Opacity to Linearizability: A Sound and Complete Method cs.LO · 2016 · author #2
5. Contextual trace refinement for concurrent objects: Safety and progress cs.DC · 2016 · author #1
6. Decidability and Complexity for Quiescent Consistency and its Variations cs.LO · 2015 · author #1
7. Verifying linearizability: A comparative survey cs.LO · 2014 · author #1
8. Principles for Verification Tools: Separation Logic cs.LO · 2014 · author #1
9. Convolution, Separation and Concurrency cs.LO · 2014 · author #1
10. Simplifying proofs of linearisability using layers of abstraction cs.LO · 2013 · author #1
11. Proving linearisability via coarse-grained abstraction cs.LO · 2012 · author #1
12. Extending the theory of Owicki and Gries with a logic of progress cs.LO · 2005 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• John Derrick 5 shared papers
• Heike Wehrheim 3 shared papers
• Simon Doherty 3 shared papers
• Georg Struth 2 shared papers
• Alasdair Armstrong 1 shared papers
• Doug Goldson 1 shared papers
• Ian J. Hayes 1 shared papers
• Lindsay Groves 1 shared papers
• Ori Lahav 1 shared papers
• Robert M. Hierons 1 shared papers
• Victor B. F. Gomes 1 shared papers