collaborators

1 paper

cs.SE2020

WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs

Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi +4

The advent of non-volatile main memory (NVM) enables the development of crash-consistent software without paying storage stack overhead. However, building a correct crash-consisten…