DRDDR: Linux Kernel Data Race Detector using Debug Registers

Project status: Finished.

Publication: Yunyun Jiang, Yi Yang, Tian Xiao, Tianwei Sheng, Wenguang Chen, "Kernel Data Race Detection using Debug Register in Linux", IEEE Symposium on Low-Power and High-Speed Chips (COOL Chips), 2014

External link: Github repo.