Site Tools


Seminar: 2012 Winter

No Ref Citation Speaker Date
1 SeIs09 S., Konstantin, and Timur Iskhodzhanov, "ThreadSanitizer - data race detection in practice," Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA'09), pp. 62-71, ACM, NY, December, 2009. In-Bon Kuh 01.30
FaNU03 E. Farchi, Y. Nir, and S. Ur, "Concurrent Bug Patterns and How to Test Them," In Proceedings of the 17th International Symposium on Parallel and Distributed Processing, pp.286-292, IEEE, 2003 Myeong-Sin
2 FeFe07 T. K. Ferrell and U. D. Ferrell, "RTCA DO-178B/EUROCAE ED-12B", Avionics: Elements, Software and Functions. Sun-Sook 02.06
HeMc96 D. P. Helmbold and C. E. McDowell, "A Taxonomy of Race Conditions," Journal of Parallel Distributed Computing, 33(2):159-164, 1996. Eu-Teum
3 KLTU07 B. Krena, Z. Letko, R. Tzoref, S. Ur, and T. Vojnar, "Healing data races on-the-fly." In Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging (PADTAD '07). ACM, New York, NY, USA, 54-64. Joong Hoon 02.13
ELCG12 E., Laura, B. Lucia, L. Ceze, D. Grossman, and Hans-J. Boehm, "IFRit: Interference-Free Regions for Dynamic Data-Race Detection," Proceedings of Object oriented programming systems languages and applications (OOPSLA'12), pp. 467-483, ACM, Arizoan, October, 2012. In-Bon Kuh
4 EMBO10 J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, "Effective Data-Race Detection for the Kernel", In Proceedings of the 9th USENIX conference on Operating systems design and implementation (OSDI'10), USENIX, pp. 1-16, 2010. Myeong-Sin 02.20
SBNS97 S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst., 15:391-411, November 1997. Eu-Teum
5 LeVK08 Z.Letko,T.Vojnar, and B. Krena, "AtomRace: Data Race and Atomicity Violation Detector and Healer," PADTAD 2008, ACM. Joong Hoon 02.27
6 FlFr10 C. Flanagan, and S. N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," Communications of the ACM, vol 53, pp. 93-101, ACM, Nov. 2010. Myeong-Sin 03.06
JaTi08 A. Jannesari and W. F. Tichy, "On-the-fly Race Detection in Multi-Threaded Programs," In Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), ACM, pp. 1-10, July 2008. Eu-Teum
7 MeHJ12 Y. Meng, O.-K. Ha, and Y.-K. Jun, "Dynamic Instrumentation for Determining Logical Concurrency Between Threads of OpenMP Programs". Meng Ying 03.12
RBKZ09 P. Ratanaworabhan, M. Burtscher, D. Kirovski, B. Zorn, R. Nagpal, and Karthik Pattabiraman, "Detecting and Tolerating Asymmetric Races," Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 173-184, ACM. Joong Hoon
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
seminar/2012winter.txt · Last modified: 2014-08-14 07:10 by In-Bon Kuh