BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Brijesh Dongol
SearchCollections
Map detail
Brijesh Dongol13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBrijesh DongolABrijesh DongolResearcherProving linearisability via coarse-grained abstractionWProving linearisability...preprint / 2012Simplifying proofs of linearisability using layers of abstractionWSimplifying proofs of l...preprint / 2013Data refinement for true concurrencyWData refinement for tru...preprint / 2013Principles for Verification Tools: Separation LogicWPrinciples for Verifica...preprint / 2014Convolution, Separation and ConcurrencyWConvolution, Separation...preprint / 2014Verifying linearizability: A comparative surveyWVerifying linearizabili...preprint / 2015Decidability and Complexity for Quiescent Consistency and its VariationsWDecidability and Comple...preprint / 2015Contextual trace refinement for concurrent objects: Safety and progressWContextual trace refine...preprint / 2016Towards linking correctness conditions for concurrent objects and contextual trace refinementWTowards linking correct...preprint / 2016View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)WView-Based Owicki-Gries...preprint / 2022Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)WImplementing and Verify...preprint / 2022Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOLWIntegrating Owicki-Grie...preprint / 2020
Person12 links

Brijesh Dongol

Researcher

PaperProving linearisability via coarse-grained abstractionAuthorship / preprint / 2012PaperSimplifying proofs of linearisability using layers of abstractionAuthorship / preprint / 2013PaperData refinement for true concurrencyAuthorship / preprint / 2013PaperPrinciples for Verification Tools: Separation LogicAuthorship / preprint / 2014PaperConvolution, Separation and ConcurrencyAuthorship / preprint / 2014PaperVerifying linearizability: A comparative surveyAuthorship / preprint / 2015PaperDecidability and Complexity for Quiescent Consistency and its VariationsAuthorship / preprint / 2015PaperContextual trace refinement for concurrent objects: Safety and progressAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)