| 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 |