WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs.
Xinwei FuWook-Hee KimAjay Paddayuru ShreepathiMohannad IsmailSunny WadkarChangwoo MinDongyoon LeePublished in: CoRR (2020)
Keyphrases
- main memory
- flash memory
- automatic detection
- associative memory
- multi dimensional
- memory requirements
- data sets
- memory space
- data storage
- source code
- data structure
- neural network
- file system
- computational complexity
- constraint networks
- computing power
- real time
- path consistency
- consistency checking
- global consistency
- memory size
- low memory