Seminar: 2016 Fall

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