| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Pervasive Detection of Process Races | 이준호 | 10/7 3pm |
|
| 2 | Finding Concurrency Errors in Sequential Code Os-level, In-vivo Model Checking for Process Race | 한민균 | 10/7 3pm |
|
| 3 | SimRacer: An Automated Framework to Support Testing for Process-Level Races | 박진석 | 10/7 3pm |
|
| 4 | RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races | 정재욱 | 10/7 3pm |
|
| 5 | An automated framework to support testing for process-level race conditions | 배창희 | 10/7 3pm |
|
| 6 | ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures | 정지원 | 10/7 3pm |
|
| 7 | 학위논문 발표 리허설 | 배창희 | 10/7 3pm |