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]
@inproceedings{LeeKPYYJ11, title = {Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers}, author = {Byoung-Kwi Lee and Mun-Hye Kang and Kyoung Choon Park and Jin Seob Yi and Sang Woo Yang and Yong-Kee Jun}, year = {2011}, doi = {10.1007/978-3-642-27207-3_45}, url = {http://dx.doi.org/10.1007/978-3-642-27207-3_45}, researchr = {https://researchr.org/publication/LeeKPYYJ11}, cites = {0}, citedby = {0}, pages = {407-415}, booktitle = {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}, editor = {Tai-Hoon Kim and Hojjat Adeli and Haeng-Kon Kim and Heau-Jo Kang and Kyung Jung Kim and Kiumi Akingbehin and Byeong Ho Kang}, volume = {257}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-642-27206-6}, }