| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Orientation of DS-Lab. | Yong-Kee Jun | 7.10 | |
| A proposal talk | In-Bon Kuh | |||
| 2 | ELCG12 | E., Laura, B. Lucia, L. Ceze, D. Grossman, and Hans-J. Boehm, "IFRit: Interference-Free Regions for Dynamic Data-Race Detection," in Proc. of Object oriented programming systems languages and applications (OOPSLA'12), pp. 467-483, ACM, Arizona, October 2012. | Se-Won Park | 7.17 |
| YuNa09 | Jie Yu and S. Narayanasamy, "A Case for an Interleaving Constrained Shared-Memory Multi-Processor", in Proc. of the 36th Annual International Symposium on Computer Architecture (ISCA'09), pp. 325-336, ACM, 2009. | Bong-Jun Paeng | ||
| 3 | PaCh08 | Mi-Young Park and Sang-Hwa Chung, "Detection of first races for debugging message-passing programs," in the 8th IEEE International Conference on Computer and Information Technology, pp. 261-266, IEEE, 2008. | Hyun-Ji Kim | 7.24 |
| An invited talk | Ok-Kyoon Ha | |||
| 4 | FlFr09 | Flanagan, C., and S. N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," in Proc. of the 2009 ACM SIGPLAN conference on Programming language design and implementation (PLDI'09), pp. 121-133, ACM, Ireland, June 2009. | Se-Won Park | 7.31 |
| LPSZ08 | Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics", in Proc. of the 13th international conference on Architectural support for programming languages and operating systems (ASPLOS'08), pp. 329-339, ACM, March 2008. | Bong-Jun Paeng | ||
| 5 | Aero06 | ARINC SPECIFICATION 653P1-2: Avionics Application Software Standard Interface, Part 1 - Required Services, Aeronautical Radio, Inc., Dec 2005. | Hyun-Ji Kim | 8.7 |
| ChLi10 | Lee Chew, and David Lie, "Kivati: fast detection and prevention of atomicity violations," in Proc. of the 5th European conference on Computer systems (EuroSys'10), pp. 307-320, ACM, April 2010. | In-Bon Kuh | ||
| An invited talk | Guy Martin Tchamgoue | TBA | ||
| An overview of concurrency bugs | Yong-Kee Jun | TBA |