Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.

Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang, Yunsong Jiang

Browse the full ISSRE paper archive.