Site Tools


seminar:2022shmb

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
seminar:2022shmb [2022-07-29 09:59]
Junho Lee
seminar:2022shmb [2022-08-31 17:32] (current)
Junho Lee
Line 3: Line 3:
 | 1    | | RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races | [[person:​jaewook|정재욱]] ​  | 8/4\\ 4pm  | | 1    | | RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races | [[person:​jaewook|정재욱]] ​  | 8/4\\ 4pm  |
 | 2    | | Pervasive Detection of Process Races  | [[person:​junho|이준호]] ​   |8/4\\ 4pm  | | 2    | | Pervasive Detection of Process Races  | [[person:​junho|이준호]] ​   |8/4\\ 4pm  |
-| 3    | | ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures | [[person:​jiwon|정지원]] ​  | 8/11\\ 4pm  | +| 3    | | ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures | [[person:​jiwon|정지원]] ​  | 8/25\\ 4pm  | 
-| 4    | | An automated framework ​to support testing ​for process-level race conditions ​| [[person:changhui|배창희]]  | 8/11\\ 4pm  | +| 4    | | SimRacer: ​An Automated Framework ​to Support Testing ​for Process-Level Races | [[person:jinseok|박진석]]  | 8/25\\ 4pm  | 
-| 5    | | SimRacer: ​An Automated Framework ​to Support Testing ​for Process-Level Races | [[person:jinseok|박진석]]  | 8/18\\ 4pm  | +| 5    | | An automated framework ​to support testing ​for process-level race conditions ​| [[person:changhui|배창희]]  | 9/1\\ 4pm  | 
-| 6    | | A process-level ​programming model for software fault tolerance ​         ​| [[person:​mingyun|한민균]] ​   | 8/18\\ 4pm  |+| 6    | |Finding Concurrency Errors in Sequential Code OS-level, In-vivo Model Checking of Process Races   | [[person:​mingyun|한민균]] ​   | 9/1\\ 4pm  |
  
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
seminar/2022shmb.txt · Last modified: 2022-08-31 17:32 by Junho Lee