• Sign in
  • Sign up
conf.researchr.org / Brijesh Dongol
  • ECOOP 2015 profile
  • ECOOP 2019 profile
  • POPL 2018 profile
  • POPL 2021 profile
  • PPoPP 2019 profile
  • PPoPP 2021 profile
  • SPLASH 2020 profile
Brijesh Dongol

Registered user since Fri 6 Mar 2015

Name: Brijesh Dongol

Affiliation: University of Surrey

Contributions

PPoPP 2021 Author of POSTER: Verifying C11-Style Weak Memory Libraries within the Main Conference-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track
Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
SPLASH 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
FTfJP 2019 Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track
PPoPP 2019 Author 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 2018 Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track
POPL 2018 Author of Transactions in Relaxed Memory Architectures within the Research Papers-track
ECOOP 2015 Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track

Share
xSat 27 Feb 00:55
using conf.researchr.org (v1.42.1)
Support page
Sign Up