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