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
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
Co-authors
8 total
Heike Wehrheim
University of Oldenburg
Graeme Smith
The University of Queensland
Ori Lahav
Tel Aviv University
Georg Struth
University of Sheffield
Azalea Raad
Imperial College London
Jim Woodcock
Professor of Software Engineering, University of York
Peter Gorm Larsen
Aarhus University
Radha Jagadeesan
Professor. School of Computing.
