Yunyun Jiang, Yi Yang, Tian Xiao, Tianwei Sheng, Wenguang Chen. Kernel data race detection using debug register in Linux. In 2014 IEEE Symposium on Low-Power and High-Speed Chips, COOL Chips XVII, Yokohama, Japan, April 14-16, 2014. pages 1-3, IEEE, 2014. [doi]