| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | ZhSL10 | Wei Zhang, Chong Sun, and Shan Lu. 2010. ConMem: detecting severe concurrency bugs through an effect-oriented approach. In Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems (ASPLOS XV). ACM, New York, NY, USA, 179-192. | In-Bon Kuh | 01.08 |
| 2 | TcKJ12e | Tchamgoue, G. M., Kim, K.-H., and Jun, Y.-K.: E_cient Detection of Data Races in Concurrent Signal Handlers. Information-An International Interdisciplinary Journal, 15(3):1317-1338, March 2012. | Myeong-Sin | 01.22 |
| 3 | NeMi92 | R. H. B. Netzer and B. P. Miller. What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst., 1:74–88, March 1992. | Eu-Teum | 01.22 |
| 4 | SeIs09 | Konstantin Serebryany and Timur Iskhodzhanov. 2009. ThreadSanitizer: data race detection in practice. In Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA '09). ACM, New York, NY, USA, 62-71. | Se-Won | 01.29 |
| 5 | HKTJ12 | On-the-fly Detection of Data Races in OpenMP Programs | Hyun-ji | 01.29 |
| 6 | LPSZ08 | Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. 2008. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. SIGARCH Comput. Archit. News 36, 1 (March 2008), 329-339. | Eu-Teum | 02.05 |
| 7 | TaGO08 | T. Tahara, K. Gondow, S. Ohsuga, "Dracula: Detector of Data Races in Signals Handlers," In Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC '08), IEEE, pp. 17-24, 2008 | Myeong-Sin | 02.05 |
| 8 | JaTi08 | A. Jannesari and W. F. Tichy, "On-the-fly race detection in multi-threaded programs," in PADTAD08: Proceedings of the 6th workshop on Parallel and distributed systems. New York, NY, USA: ACM, 2008. | Bong-jun | 02.12 |
| 9 | PaJu04 | Mi-Young Park and Yong-Kee Jun. 2004. Detecting Unaffected Race Conditions in Message-Passing Programs. Springer Berlin Heidelberg. | Hyun-ji | 02.12 |