Scholar
Brijesh Dongol
Google Scholar ID: fjA_2-cAAAAJ
University of Surrey
Verification
Formal methods
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,400
H-index
18
i10-index
47
Publications
20
Co-authors
71
list available
Contact
No contact links provided.
Publications
4 items
FlintKV: A Fast Durable Storage Engine for Modern Databases
2026
Cited
0
Specifying and Verifying RDMA Synchronisation (Extended Version)
2026
Cited
0
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
2025
Cited
0
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
71 total
Co-author 1
Heike Wehrheim
University of Oldenburg
Co-author 3
Co-author 4
Co-author 5
Graeme Smith
The University of Queensland
Ori Lahav
Tel Aviv University
Georg Struth
University of Sheffield
