conf.researchr.org / Brijesh Dongol
Brijesh Dongol

Registered user since Fri 6 Mar 2015

Name: Brijesh Dongol

Affiliation: University of Surrey

Contributions

CPP 2021Committee Member in Program Committee within the CPP 2021-track
ECOOP 2020Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
FTfJP 2019Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track
PPoPP 2019Author of Verifying C11 Programs Operationally within the Main Conference-track
Author of Modular Transactions: Bounding Mixed Races in Space and Time within the Main Conference-track
VMCAI 2018Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track
POPL 2018Author of Transactions in Relaxed Memory Architectures within the Research Papers-track
ECOOP 2015Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track