This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
news [2022-07-29 10:07] Junho Lee |
news [2022-07-29 10:07] (current) Junho Lee |
||
---|---|---|---|
Line 4: | Line 4: | ||
* 2022년 8월 4일부터 8월 18일까지 [[seminar:2022shmb|세미나]]를 진행합니다. | * 2022년 8월 4일부터 8월 18일까지 [[seminar:2022shmb|세미나]]를 진행합니다. | ||
* 주제 | * 주제 | ||
- | * RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races_(정재욱) | + | * RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races(정재욱) |
* Pervasive Detection of Process Races (이준호) | * Pervasive Detection of Process Races (이준호) | ||
* ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원) | * ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원) |