Site Tools

Command disabled: revisions

seminar:2022shmb

seminar: 2022 Process-Level Race Condition

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
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
seminar/2022shmb.txt · Last modified: 2022-08-31 17:32 by Junho Lee