Skip to Content
Skip to main content

Verifiably correct high-performance concurrency libraries for multi-core computing systems

Funder: Engineering and Physical Sciences Research Council
Duration: January 2016 - December 2016

Outputs

Dongol, B., Jagadeesan, R., Riely, J. and Armstrong, A. (2018) 'On abstraction and compositionality for weak-memory linearisability'.VMCAI. Los Angeles, USA. 1 Springer International Publishing. pp. 183 - 204. ISSN: 0302-9743

Conference paper | Open Access Link | Cite

Dongol, B. and Hierons, RM. (2017) 'Decidability and Complexity for Quiescent Consistency and its Variations'. Information and Computation, 257. pp. 1 - 27. ISSN: 0890-5401

Journal article | Open Access Link | Cite

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O. and Wehrheim, H. (2017) 'Mechanized proofs of opacity: A comparison of two techniques'. Formal Aspects of Computing, 30 (5). pp. 597 - 625. ISSN: 0934-5043

Journal article | Open Access Link | Cite

Doherty, S., Dongol, B., Derrick, J., Schellhorn, G. and Wehrheim, H. (2017) 'Proving opacity of a pessimistic STM'.OPODIS. Madrid. 1 Leibniz International Proceedings in Informatics, LIPIcs. pp. 35.1 - 35.17. ISSN: 1868-8969

Conference paper | Open Access Link | Cite

Dongol, B. (2017) 'An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction'.5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). Tokyo, JAPAN. 1 Springer International Publishing. pp. 20 - 35. ISSN: 1865-0929

Conference paper | Open Access Link | Cite

Armstrong, A. and Dongol, B. (2017) 'Modularising opacity verification for hybrid transactional memory'. Springer International Publishing. pp. 33 - 49. ISSN: 0302-9743

Conference paper | Open Access Link | Cite

Armstrong, A., Dongol, B. and Doherty, S. (2017) 'Proving opacity via linearizability: A sound and complete method'. Springer International Publishing. pp. 50 - 66. ISSN: 0302-9743

Conference paper | Open Access Link | Cite

Dongol, B. and Hierons, R. (2016) 'Decidability and Complexity for Quiescent Consistency'.31st ACM/IEEE Symposium on Logic in Computer Science (LICS 2016). New York City, USA. 8 - 8 July. ACM. pp. 116 - 125. ISSN: 1043-6871

Conference paper | Open Access Link | Cite

Dongol, B. and Groves, L. (2016) 'Contextual trace refinement for concurrent objects: Safety and progress'.ICFEM. Tokyo, JAPAN. 1 - 18 November. Springer International Publishing. pp. 261 - 278. ISSN: 0302-9743

Conference paper | Open Access Link | Cite

Brunel University London
Kingston Lane
Uxbridge
Middlesex UB8 3PH

Tel: +44 (0)1895 274000

Fax: +44 (0)1895 232806

Security: +44 (0)1895 255786

Directions to the campus

Brunel.ac.uk uses cookies to make our site better for you. By clicking on or navigating this site, you accept our use of cookies in accordance with our cookie policy.

Close this message