| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | MaDK11 | Application on software management techniques | Hyoung-Jin Baek | 3.1 |
| 2 | LPSZ08 | Learrning from mistakes – a comprehensive study on real world concurrency bug characteristics | Su-In Lee | 3.1 |
| 3 | HTSJ10 | On-the-fly healing of race conditions in ARINC-653 flight software | Tae-Hyung Kim | 3.17 |
| 4 | GoHo07 | Software fault protection with ARINC 653 | Jeong-Mun Park | 3.17 |
| 5 | ZhNg10 | Predicting concurrency bugs: how many, what kind, where are they | Ji-Hoon Ok | 3.24 |