Process-Level Race Condition

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