No | Ref | Citation | Speaker | Date |
1 | 옥용15 | 멀티 스레드 프로그램을 위한 동적 자료경합 탐지 기술 현황 | Ju-Hyeok Park | 10.08 |
2 | 옥용11 | 내포 병렬성 프로그램에서 수행 중 경합 탐지를 위한 효율적 스레드 식별자 생성 기법 | Dong-Su Lee | 10.08 |
3 | 옥선10 | OpenMP 프로그램을 위한 효율적 병행성 정보의 생성기법 | 김수용 | 10.22 |
4 | 옥문09 | OpenMP 프로그램을 위한 경합탐지도구의 실험적 비교와 분석 | Keon-Pyo Lee | 10.22 |
5 | 옥문08 | 스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구 | Hyoung-Jin Baek | 10.29 |
6 | KLTU07 | Healing data races on-the-fly | Eu-Teum Choi | 10.29 |
7 | HaLR10 | Transactional Memory 2nd Edition (CH.2 1/2) | Byeongmu Kim | 11.05 |
8 | LPSZ08 | Learrning from mistakes – a comprehensive study on real world concurrency bug characteristics | Ah-Ra Jo | 11.05 |
9 | RSCC04 | PIN: a binary instrumentation tool for computer architecture research and education | 강성은 | 11.12 |
10 | - | - | Hyang-Yeon Bae | 11.12 |
11 | HaJu15 | An efficient algorithm for on-the-fly data race decetion using an epoch-based technique | Ju-Hyeok Park | 11.19 |
12 | YuNa09 | A case for an interleaving constrained shared-memory multi-processor | Dong-Su Lee | 11.19 |
13 | LaAd04 | LLVM: A compilation framework for lifelong program analysis & transformation | 김수용 | 11.26 |
14 | LeVK08 | AtomRace data race and atomicity violation detector and healer | Keon-Pyo Lee | 11.26 |
15 | BKSL08 | The PARSEC benchmark suite: Characterization and architectural implications | Hyoung-Jin Baek | 12.03 |
16 | HaLR10 | Transactional Memory 2nd Edition (CH.4) | Eu-Teum Choi | 12.03 |
17 | HaLR10 | Transactional Memory 2nd Edition (CH.2 2/2) | Byeongmu Kim | 12.17 |
18 | - | - | Ah-Ra Jo | 12.17 |
19 | - | Pin 3.0 User Guide | 강성은 | 12.24 |
20 | - | - | Hyang-Yeon Bae | 12.24 |