TY  - RPRT
TI  - WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs
AU  - Xinwei Fu
AU  - Wook-Hee Kim
AU  - Ajay Paddayuru Shreepathi
AU  - Mohannad Ismail
AU  - Sunny Wadkar
AU  - Changwoo Min
AU  - Dongyoon Lee
PY  - 2020
UR  - https://arxiv.org/abs/2012.06086
ID  - 2012.06086
ER  -