| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | 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. | In-Bon | 03.24 |
| ArHH07 | Artho, C., Havelund, K., Honiden, S.: Visualization of concurrent program executions. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), pp. 541-546. IEEE Computer Society, Los Alamitos, July 2007. | Gan-Lin | ||
| 2 | PaPJ01 | So-Hee Park, Mi-Young Park, and Yong-Kee Jun. "A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs," R.Eigenmann and M.J. Voss (Eds.): WOMPAT 2001, LNCS 2104, pp.68-80, 2001. | Meng Ying | 03.31 |
| BBMP06 | Banerjee, U., B. Bliss, Z. Ma, P. Petersen, "A Theory of Data Race Detection," In Proc. of 4th Workshop on Parallel and Distributed programming: Testing, Analysis and Debugging (PADTAD'06), ACM, Portland, Maine, pp. 69-78, 2006. | Sahaja | ||
| 3 | LeVK08 | Z.Letko,T.Vojnar, and B. Krena, "AtomRace: Data Race and Atomicity Violation Detector and Healer," PADTAD 2008, ACM. | Martin | 04.07 |
| 4 | FlFr10 | Flanagan, Cormac, and Stephen N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," Communications of the ACM, vol 53, pp. 93-101, ACM, Nov. 2010. | In-Bon | 04.21 |
| DiSc90 | Dinning, A., and E. Schonberg, "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection", PPoPP’90, ACM. | Joong Hoon | ||
| 5 | PPSL10 | Harish Patil, Cristiano Pereira, Mack Stallcup, Gregory Lueck, James Cownie. "PinPlay: A Framework for Deterministic Replay and Reproducible Analysis of Parallel Programs," In Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization (CGO 2010), ACM, PP. 2-11, 2010. | Meng Ying | 04.28 |
| LeRM03 | Leroux, H., R’equil’e-Romanczuk, A., Mingins, C.: Jacot: a tool to dynamically visualise the execution of concurrent java programs. In: Proceedings of the 2nd International Conference on Principles and Practice of Programming in Java (PPPJ 2003), pp. 201-206. Computer Science Press, Inc., Rockville, 2003. | Gan Lin | ||
| 6 | Mell91 | J. Mellor-Crummey, "On-the-fly Detection of Data Races for Programs with Nested Fork-join Parallelism," In Proceedings of the ACM/IEEE Conference on Supercomputing, ACM, pp. 24-33, August 1991. | Joong Hoon | 05.05 |
| 7 | TiPa05 | B. L. Titzer and J. Palsberg, "Nonintrusive Precision Instrumentation of Microcontroller Software," LCTES’05, ACM, June 15-17, 2005, Chicago,USA. | Martin | 05.12 |
| RoMB04 | Ronsse, M., J. Maebe, and K. De Bosschere, "Detecting Data Races in sequential Programs with DIOTA," In Proc. of Euro-Par 2004 Parallel Processing, Lecture Notes in Computer Science (LNCS), Springer, Vol. 3149: 82-89, 2004. | Sahaja | ||
| 8 | SSTA09 | T. Schoofs, S. Santos, C. Tatibana,and J. Anjos, "An Integrated Modular Avionics Development Environment," 28th Digital Avionics Systems Conference, IEEE 2009 | Joong Hoon | 05.19 |
| Raza06 | Aoun Raza. "A Review of Race Detection Mechanisms," D.Grigoriev, J.Harrison, and E.A.Hirsch (Eds.): CSR 2006, LNCS 3967, pp. 534-543, 2006. | Meng Ying |