| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | SeIs09 | Thread Sanitizer | Min-Gi Song | 04.10 |
| 2 | MaMN09 | LiteRace : Effective Sampling for Lightweight Data-Race Detection | Se-Won Park | 04.10 |
| 3 | EtOY12 | Configuration Tool for ARINC 653 Operating Systems | Bong-Jun Paeng | 04.24 |
| 4 | ELCG12 | IFRit: Interference-Free Regions for Dynamic Data-Race Detection | Eu-Teum Choi | 04.24 |
| 5 | Introduction of research in DS-Lab | Ok-Kyoon Ha | 05.01 | |
| 6 | 졸업논문 중간보고 | Hyun-Ji Kim | 05.08 | |
| 7 | JaTi08 | On-the-fly Race Detection in Multi-Threaded Programs | Hyang-Yeon Bae | 05.08 |
| 8 | 미정 | Se-Won Park | 05.15 | |
| 9 | Pris08 | ARINC 653 ROLE IN INTEGRATED MODULAR AVIONICS (IMA) | Bong-Jun Paeng | 05.15 |
| 10 | 미정 | Eu-Teum Choi | 05.22 | |
| 11 | LaAd04 | LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation | Min-Gi Song | 05.22 |