Site Tools

Command disabled: revisions


Seminar: 2013 Winter

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
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
seminar/2013winter.txt · Last modified: 2014-08-14 07:08 by In-Bon Kuh