@inproceedings{huang2017towards,

  title={Towards Production-Run Heisenbugs Reproduction on Commercial Hardware},

  author={Huang, Shiyou and Cai, Bowen and Huang, Jeff},

  booktitle={2017 USENIX Annual Technical Conference (USENIX ATC 17)},

  pages={403--415},

  year={2017},

  organization={USENIX Association}

}