ERC Consolidator Grant · 2020
A Semantic Foundation for Persistent Programming
Non-volatile memory (NVM) is an emerging technology that provides orders of magnitude faster access to persistent storage (which preserves its contents after a crash or a power failure) than hard disks. While NVM is expected to radically change how we manage storage in applications, its programming model is standing on very shaky foundations. The persistency semantics of the mainstream architectures is very unclear and full of counterintuitive behaviours. As a result, writing correct NVM programs is extremely difficult: there is no support for persistent programming in programming languages nor any techniques for testing and verifying their correct recovery from crashes. PERSIST will…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.