| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software | 정재욱 | 3/24 3pm |
|
| 2 | AI: A Lightweight System for Detecting and Tolerating Concurrency Bugs | 이준호 | 3/24 4pm |
|
| 3 | Learning from Mistakes — A Comprehensive Study on Real | 박진석 | 3/31 4pm |
|
| 4 | Atom-Aid: Detecting and Surviving Atomicity Violations | 정지원 | 3/31 4pm |
|
| 5 | ColorSafe: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations | 배창희 | 4/7 4pm |
|
| 6 | Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers | 한민균 | 4/7 4pm |