Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers

Byoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun. Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. In Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang, editors, Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Volume 257 of Communications in Computer and Information Science, pages 407-415, Springer, 2011. [doi]

Authors

Byoung-Kwi Lee

This author has not been identified. Look up 'Byoung-Kwi Lee' in Google

Mun-Hye Kang

This author has not been identified. Look up 'Mun-Hye Kang' in Google

Kyoung Choon Park

This author has not been identified. Look up 'Kyoung Choon Park' in Google

Jin Seob Yi

This author has not been identified. Look up 'Jin Seob Yi' in Google

Sang Woo Yang

This author has not been identified. Look up 'Sang Woo Yang' in Google

Yong-Kee Jun

This author has not been identified. Look up 'Yong-Kee Jun' in Google