University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Dongol, B"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Conference or Workshop Item

Dongol, Brijesh, Hayes, Ian, Meinicke, Larissa and Struth, Georg (2019) Cylindric Kleene Lattices for Program Construction In: 13th International Conference on Mathematics of Program Construction, 07-09 Oct 2019, Porto, Portugal.

Dongol, Brijesh, Jagadeesan, Radha and Riely, James (2019) Modular Transactions: Bounding Mixed Races in Space and Time In: PPoPP 2019: 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 16–20 Feb 2019, Washington, DC, USA.

Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike and Derrick, John (2019) Verifying C11 Programs Operationally In: PPoPP 2019: 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 16–20 Feb 2019, Washington, DC, USA.

Dalvandi, Mohammadsadegh and Dongol, Brijesh (2019) Towards Deductive Verification of C11 Programs with Event-B and ProB In: 21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019), 15-19 Jul 2019, Novotel London West, Hammersmith, London, United Kingdom.

Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard and Wehrheim, Heike (2019) Verifying Correctness of Persistent Concurrent Data Structures In: 23rd International Symposium on Formal Methods (FM'19), 07-11 Oct 2019, Porto, Portugal.

Doherty, Simon, Dongol, Brijesh, Wehrheim, Heike and Derrick, John (2018) Making Linearizability Compositional for Partially Ordered Executions In: International Conference on Integrated Formal Methods - IFM 2018, 05-07 Sep 2018, Maynooth University, Ireland.

Dongol, Brijesh, Doherty, Simon, Wehrheim, Heiki and Derrick, John (2018) Brief Announcement: Generalising Concurrent Correctness to Weak Memory In: 32nd International Symposium on Distributed Computing (DISC 2018), 15 - 19 October 2018, New Orleans.

This list was generated on Wed Oct 23 09:58:19 2019 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800