Skip to Content
Exit Menu
Dr Brijesh Dongol

Dr Brijesh Dongol
Lecturer

Newest selected publications

Dongol, B., Jagadeesan, R., Riely, J. and Armstrong, A. (Accepted) 'On abstraction and compositionality for weak-memory linearisability'.VMCAI. Los Angeles, USA.Open Access Link

Conference paper

Dongol, B., JAGADEESAN, R. and RIELY, J. (Accepted) 'Transactions in Relaxed Memory Architectures'.POPL. Los Angeles, California, USA.Open Access Link

Conference paper

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O. and Wehrheim, H. (Accepted) 'Mechanized proofs of opacity: A comparison of two techniques'. Formal Aspects of Computing. ISSN: 0934-5043 Open Access Link

Journal article

Dongol, B. (Accepted) 'An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction'. ISSN: 1865-0929 Open Access Link

Conference paper

Armstrong, A., Dongol, B. and Doherty, S. (2017) 'Proving opacity via linearizability: A sound and complete method'. ISSN: 0302-9743 Open Access Link

Conference paper
More publications(43)