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 (정지원) | ||