7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2022
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav +2
The rise of persistent memory is disrupting computing to its core. Our work aims to help programmers navigate this brave new world by providing a program logic for reasoning about…
cs.DC2020★ 7 cited
Modularising Verification Of Durable Opacity
Eleni Bila, John Derrick, Simon Doherty +3
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become u…
cs.DC2020
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Eleni Bila, Simon Doherty, Brijesh Dongol +3
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for memory that preserves its contents even after power loss. The expected ubiquity of NVM has stimulated intere…