Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers
Full Title
B. Lee, M. Kang, K. C. Park. J. S. Yi, S. W. Yang, and Y. Jun., "Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers," In Proceedings of the ASEA 2011, CCIS 257, pp. 407–415, Springer, Heidelberg, 2011.
