@misc{indiciaea8987df04b2b,
  title = {WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs},
  author = {Xinwei Fu and Wook-Hee Kim and Ajay Paddayuru Shreepathi and Mohannad Ismail and Sunny Wadkar and Changwoo Min and Dongyoon Lee},
  year = {2020},
  url = {https://arxiv.org/abs/2012.06086},
  note = {Source identifier: 2012.06086}
}