9 citations · 29 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…