Verifiably correct high-performance concurrency libraries for multi-core computing systems
Funder: Engineering and Physical Sciences Research CouncilDuration: 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 Open Access Link
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 Open Access Link
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 Open Access Link
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 Open Access Link
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 Open Access Link
Armstrong, A. and Dongol, B. (2017) 'Modularising opacity verification for hybrid transactional memory'. Springer International Publishing. pp. 33 - 49. ISSN: 0302-9743 Open Access Link
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 Open Access Link
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 Open Access Link
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 Open Access Link