| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Pull01 | Chapter 1 -Introduction | 정재욱 | 2/10 3pm |
| 2 | Pull01 | Chapter 2-Structuring Redundancy for Software Fault Tolerance | 이준호 | 2/10 3pm |
| 3 | Pull01 | Chapter 3-Design Methods, Programming Techniques, and Issues | 박진석 | 2/17 3pm |
| 4 | Pull01 | Chapter 4-Design Diverse Software Fault Tolerance Techniques | 정지원 | 2/17 3pm |
| 5 | Pull01 | Chapter 5-Data Diverse Software Fault Tolerance Techniques | 배창희 | 2/24 3pm |
| 6 | Pull01 | Chapter 6-Other Software Fault Tolerance Techniques | 한민균 | 2/24 3pm |
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software | 정재욱 | 3/24 3pm |
|
| 2 | AI: A Lightweight System for Detecting and Tolerating Concurrency Bugs | 이준호 | 3/24 4pm |
|
| 3 | Learning from Mistakes — A Comprehensive Study on Real | 박진석 | 3/31 4pm |
|
| 4 | Atom-Aid: Detecting and Surviving Atomicity Violations | 정지원 | 3/31 4pm |
|
| 5 | ColorSafe: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations | 배창희 | 4/7 4pm |
|
| 6 | Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers | 한민균 | 4/7 4pm |
| 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 |
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Pull01 | Chapter 1 -Introduction | 정재욱 | 3/4 4pm |
| 2 | Pull01 | Chapter 2-Structuring Redundancy for Software Fault Tolerance | 이준호 | 3/4 4pm |
| 3 | Pull01 | Chapter 3-Design Methods, Programming Techniques, and Issues | 박진석 | 3/4 4pm |
| 4 | Pull01 | Chapter 4-Design Diverse Software Fault Tolerance Techniques | 정지원 | 3/4 4pm |
| 5 | Pull01 | Chapter 5-Data Diverse Software Fault Tolerance Techniques | 배창희 | 3/4 4pm |
| 6 | Pull01 | Chapter 6-Other Software Fault Tolerance Techniques | 한민균 | 3/4 4pm |
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | JGKM11: 1.0 The Theory of System Health Management ~ 10 Verification and Validation | 이건표 | 6/17 4pm |
|
| 2 | JGKM11: 11.0 Certifying Vehicle Health Monitoring Systems ~ 17.0 Prognotics | TSogbayar Jargalsaikhan | 6/17 4pm |
|
| 3 | JGKM11: 18.0 Quality Assurance ~ 24.0 Aircraft Propulsion Health Management | 최으뜸 | 6/24 4pm |
|
| 4 | JGKM11: 25.0 Intelligent Sensors for Health Management ~ 31.0 Life Support Health Management | 한민균 | 6/24 4pm |
|
| 5 | JGKM11: 32.0 Software ~ 38.0 Commercial Aviation Health Management | 배창희 | 7/1 4pm |
|
| 6 | LPSZ08 | Learing from Mistakes - A Comprehensive Study on Real World Concurrent Bug Characteristics | 박진석 | 7/1 4pm |
| 7 | ZWLQ16 | AI: A Light System for Tolerating Concurrency Bugs | 이준호 | 7/1 4pm |
| 8 | workshop | 7/2 4pm |
||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | 고신뢰소프트웨어 연구실 연구진도 | 이건표 | 8/4 4pm | |
| 2 | UML: Class diagram | 우이정 | 8/4 4pm | |
| 3 | UML: Sequence/Activity diagram | 이승은 | 8/4 4pm | |
| 4 | UML: Package/Deployment diagram | 한민균 | 8/4 4pm | |
| 5 | 으동18 | 항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법 | 이승은 | 8/4 4pm |
| 6 | 소프트웨어 진흥법 | 최으뜸 | 8/4 4pm | |
| 7 | 연구자를 위한 특허 출원 및 등록 방법 | 김태형 | 8/4 4pm | |
| 8 | workshop | |||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | VxWorks SDK | 우이정 | 6/11 4pm | |
| 2 | 항공기 소프트웨어의 건전성 관리를 위해서 순서위배 오류를 자율 수리하는 효율적인 시스템 | 김태형 | 6/11 4pm | |
| 3 | 병행프로그램의 순서위배를 자율적으로 수리하기 위한 강건한 기법 | 백형진 | 6/11 4pm | |
| 4 | A FACE TS Segment for Connecting UAV FCS and GCS | 처그바야르 자르갈사이항 | 6/11 4pm | |
| 5 | workshop | |||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | DO-178C | 1.0 Introduction | 이건표 | 01/09 4pm |
| 2.0 System aspects relating to software development | ||||
| 3.0 Software life cycle | ||||
| 2 | DO-178C | 4.0 Software planning process | TSogbayar Jargalsaikhan | 01/16 4pm |
| 5.0 Software development processes | ||||
| 6.0 Software verification process | 최으뜸 | |||
| 3 | DO-178C | 7.0 Software configuration management process | 백형진 | 01/23 4pm |
| 8.0 Software quality assurance process | ||||
| 9.0 Certification liaison process | ||||
| 10.0 Overview of certification process | ||||
| 4 | DO-178C | 11.0 Software life cycle data | 이건표 | 01/30 4pm |
| 12.0 Additional considerations | 김태형 | |||
| 5 | workshop | |||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | 항공기 소프트웨어의 건전성 관리시스템에서 함수호출의 순서위배를 자율적으로 수리하는 기법 | 김태형 | 10/10 7pm | |
| 2 | 테스트 인터리빙을 사용한 자율수리기법 | 백형진 | 10/10 7pm | |
| 3 | System-Level Health Monitoring | 이건표 | 10/17 7pm | |
| 4 | Providing portability to flight control software of UAV using FACE standard | TSogbayar Jargalsaikhan | 10/17 7pm | |
| 5 | Redmine | 최으뜸 | 10/17 7pm | |
| 6 | workshop | |||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | Ibm10 | Lab 1: Starting a new IBM Rational Rhapsody project | 이건표 | 8/29 7pm |
| 2 | Ibm10 | Lab 2: Set properties and create diagrams | 이건표 | 8/29 7pm |
| 3 | Git Introduction | 이민지 | 8/29 7pm | |
| 4 | Ibm10 | Lab 3: Create an Object Model diagram | TSogbayar Jargalsaikhan | 9/5 7pm |
| 5 | Ibm10 | Lab 4: Navigate the model and add a state machine diagram | TSogbayar Jargalsaikhan | 9/5 7pm |
| 6 | Ibm10 | Lab 5: Model Execution | 이건표 | 9/12 7pm |
| 7 | Ibm10 | Lab 6: Standard Ports | 이건표 | 9/12 7pm |
| 8 | workshop | |||
| No | Ref | Contents | Speaker | Date |
|---|---|---|---|---|
| 1 | 항공기 소프트웨어의 건전성 관리시스템에서 함수호출의 순서위배를 자율적으로 수리하는 기법 | 김태형 | 7/11 7pm | |
| 2 | 테스트 인터리빙을 사용한 자율수리기법 | 백형진 | 7/11 7pm | |
| 3 | Software-In-The-Loop Simulation of Flight Control Software Based on FACE Architecture | 이건표 | 7/18 7pm | |
| 4 | Providing portability to flight control software of UAV using FACE standard | TSogbayar Jargalsaikhan | 7/18 7pm | |
| 5 | LLVM Instrumentation | 이승은 | 7/25 7pm | |
| 6 | workshop | |||
| No | Ref | Contents | Discussion | Speaker | Date |
|---|---|---|---|---|---|
| 1 | Walt15 | Navigation | 5/16 7pm | ||
| 2 | Walt15 | Flight planning | 5/16 7pm | ||
| 3 | Walt15 | Navigation | Trajectory predictions | 백형진 | 5/23 7pm |
| 4 | Walt15 | Flight planning | Performance computations | 김태형 | 5/23 7pm |
| 5 | Walt15 | Trajectory predictions | Guidance | TSogbayar Jargalsaikhan | 6/6 7pm |
| 6 | Walt15 | Performance computations | 이건표 | 6/6 7pm | |
| 7 | Walt15 | Guidance | 이건표 | 6/13 7pm | |
| 8 | workshop | 6/21 4pm | |||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.4~23) | TSogbayar Jargalsaikhan | 3/21 7pm |
| 2 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.23~44) | Tae-Hyung Kim | 3/21 7pm |
| 3 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.43~57) | Jeong-Mun Park | 3/28 7pm |
| 4 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.57~76) | Su-In Lee | 3/28 7pm |
| 5 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.76~95) | Hyoung-Jin Baek | 4/4 7pm |
| 6 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.95~112) | Keon-Pyo Lee | 4/4 7pm |
| 8 | workshop | 4/11 4pm | ||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.4~23) | TSogbayar Jargalsaikhan | 1.24 |
| 2 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.23~44) | Tae-Hyung Kim | 1.24 |
| 3 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.43~57) | Jeong-Mun Park | 1.31 |
| 4 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.57~76) | Su-In Lee | 1.31 |
| 5 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.76~95) | Hyoung-Jin Baek | 2.07 |
| 6 | FACE 3.0 | FACE Technical Standard, Edition 3.0 (p.95~112) | Keon-Pyo Lee | 2.07 |
| 7 | Walt15 | Flight Management Systems (p.1~26) | Eu-Teum Choi | 2.14 |
| 8 | 동수18 | An Efficient Health Management System for On-the-fly Repairing of Atomicity Violation in Airborne Software | Batgerel Tserennadmid | 2.14 |
| 9 | workshop | 2.19 | ||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | WHMZ12 | Studying on ARINC 653 partition run time scheduling and simulation | TSogbayar Jargalsaikhan | 11.15 |
| 2 | 동수18 | An efficient health management system for on-the-fly repairing of atomicity violation in airborne software | Batgerel Tserennadmid | 11.15 |
| 3 | ZWLQ16 | A lightweight system for detecting and tolerating concurrency bugs | Hyoung-Jin Baek | 12.6 |
| 4 | ABDG15 | GPU Concurrency: Weak Behaviours and Programming Assumptions | Keon-Pyo Lee | 12.13 |
| 5 | 주혁18 | An efficient technique for on-the-fly repairing of atomicity violation in pthread programs | Batgerel Tserennadmid | 12.13 |
| 6 | THKJ11 | A framework for on-the-fly race healing in ARINC-653 applications | Tae-Hyung Kim | 12.13 |
| 7 | SrSc11 | The case for software health management | Tae-Hyung Kim | 12.2 |
| 8 | KLTU07 | Healing data races on-the-fly | Hyoung-Jin Baek | 12.2 |
| 9 | GMV10,Laas15 | Demonstration and comparison ARINC 653 simulators (on SIMA and ARISS) | TSogbayar Jargalsaikhan | 12.27 |
| 10 | EPPM17 | BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs | Keon-Pyo Lee | 12.27 |
| 11 | Workshop | 1.10 | ||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Fowl04 | UML Distilled Third Edition (CH.1) | Min-Ji Lee | 7.17 |
| 2 | Fowl04 | UML Distilled Third Edition (CH.2) | I-Jeong Woo | 7.17 |
| 3 | Fowl04 | UML Distilled Third Edition (CH.3) | Tae-Hyung Kim | 7.17 |
| 4 | Fowl04 | UML Distilled Third Edition (CH.4 ~ 5 Derived Properties) | Batgerel Tserennadmid | 7.24 |
| 5 | Fowl04 | UML Distilled Third Edition (CH.5 Interfaces and Abstract Classes ~ CH.7) | Keon-Pyo Lee | 7.24 |
| 6 | Fowl04 | UML Distilled Third Edition (CH.8 ~ 10) | Hyoung-Jin Baek | 7.24 |
| 7 | Fowl04 | UML Distilled Third Edition (CH.11) | Eu-Teum Choi | 7.24 |
| 8 | Fowl04 | UML Distilled Third Edition (CH.12 ~ 17) | TSogbayar Jargalsaikhan | |
| 9 | workshop | 7.28 | ||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 1, 2 | Hyoung-Jin Baek | 4.05 |
| 2 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 3, 4.1 | Ji-Hoon Ok | 4.05 |
| 3 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 4.2 | Tae-Hyung Kim | 4.12 |
| 4 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 4.3 ~ 4.3.5 | Dong-Su Lee | 4.12 |
| 5 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 4.3.6 ~ 4.3.8 | Keon-Pyo Lee | 4.19 |
| 6 | Dod JSSSEH | DEPARTMENT OF DEFENSE JOINT SOFTWARE SYSTEMS SAFETY ENGINEERING HANDBOOK Section 4.4, 4.5 | Ju-Hyeok Park | 4.19 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | MaDK11 | Application on software management techniques | Hyoung-Jin Baek | 3.1 |
| 2 | LPSZ08 | Learrning from mistakes – a comprehensive study on real world concurrency bug characteristics | Su-In Lee | 3.1 |
| 3 | HTSJ10 | On-the-fly healing of race conditions in ARINC-653 flight software | Tae-Hyung Kim | 3.17 |
| 4 | GoHo07 | Software fault protection with ARINC 653 | Jeong-Mun Park | 3.17 |
| 5 | ZhNg10 | Predicting concurrency bugs: how many, what kind, where are they | Ji-Hoon Ok | 3.24 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | AMKS17 | Repairing event race error by controlling nondeterminism | Ju-Hyeok Park | 1.09 |
| 2 | ZKLL13 | ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution | Dong-Su Lee | 1.09 |
| 3 | YuNa09 | A case for an interleaving constrained shared-memory multi-processor | TSogbayar Jargalsaikhan | 1.16 |
| 4 | ZWLQ16 | AI: a lightweight system for tolerating concurrency bugs | Hyoung-Jin Baek | 1.16 |
| 5 | ZhWa14 | Runtime prevention of concurrency related type-state violations in multithreaded applications | Batgerel Tserennadmid | 1.23 |
| 6 | KLTU07 | Healing data races on-the-fly | Ji-Hoon Ok | 1.23 |
| 7 | - | RTWorks | Eu-Teum Choi | 1.3 |
| 8 | LHCB17 | LD: Low-Overhead GPU Race Detection Without Access Monitoring | Keon-Pyo Lee | 1.3 |
| 9 | WZLX16 | ARROW: automated repair of races on client-side web pages | Hyoung-Jin Baek | 2.06 |
| 10 | LiCL16 | Understanding and generating high quality patches for concurrency bugs | Ju-Hyeok Park | 2.06 |
| 11 | workshop | 2.13 | ||
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Eu-Teum Choi | |||
| 2 | LeDa10 | Kivati: Fast Detection and Prevention of Atomicity Violations | Ju-Hyeok Park | |
| 3 | QTSZ05 | Rx: Treating Bugs As Allergies— A Safe Method to Survive Software Failures | Dong-Su Lee | |
| 4 | ZRQA14 | Gmrace: Detecting data races in gpu programs via a low-overhead scheme | Keon-Pyo Lee | |
| 5 | Eu-Teum Choi | |||
| 6 | VCFN11 | Detecting and Surviving Data Races using Complementary Schedules | Ju-Hyeok Park | |
| 7 | LZLT16 | Compiler-Directed Lightweight Checkpointing for Fine-Grained Guaranteed Soft Error Recovery | Dong-Su Lee | |
| 8 | LiLG14 | parctical symbolic race checking of gpu programs | Keon-Pyo Lee |
| 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 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | SeIs09 | Thread Sanitizer | Min-Gi Song | 04.10 |
| 2 | MaMN09 | LiteRace : Effective Sampling for Lightweight Data-Race Detection | Se-Won Park | 04.10 |
| 3 | EtOY12 | Configuration Tool for ARINC 653 Operating Systems | Bong-Jun Paeng | 04.24 |
| 4 | ELCG12 | IFRit: Interference-Free Regions for Dynamic Data-Race Detection | Eu-Teum Choi | 04.24 |
| 5 | Introduction of research in DS-Lab | Ok-Kyoon Ha | 05.01 | |
| 6 | 졸업논문 중간보고 | Hyun-Ji Kim | 05.08 | |
| 7 | JaTi08 | On-the-fly Race Detection in Multi-Threaded Programs | Hyang-Yeon Bae | 05.08 |
| 8 | 미정 | Se-Won Park | 05.15 | |
| 9 | Pris08 | ARINC 653 ROLE IN INTEGRATED MODULAR AVIONICS (IMA) | Bong-Jun Paeng | 05.15 |
| 10 | 미정 | Eu-Teum Choi | 05.22 | |
| 11 | LaAd04 | LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation | Min-Gi Song | 05.22 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Invite talk | Ok-Kyoon Ha | 10.02 | |
| 2 | 소프트웨어공학 단기전문가강좌 - 모델 기반 소프트웨어 테스트 | Se-Won Park | 10.16 | |
| 3 | PaCh09 hyunji | Park, M. Y., and S. H. Chung, "Detecting Race Conditions in One-Sided Communication of MPI Programs", 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS09), pp.867-872, IEEE Computer Society, China, June 2009. | Hyun-Ji Kim | 10.23 |
| 4 | Nemi92 | Robert H. B and Barton P.Miller “What are Race Conditions?” Computer Sciences Department | Bong-Jun Paeng | 10.30 |
| 5 | CJSZ14 | University of WisconsinMadison 1210 W. Dayton Street Madison, Wisconsin 53706 | Se-Won Park | 11.06 |
| 6 | PSJP07 | Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, and Hyuk-Ro Park, "MPIRace-Check: Detection of Message Races in MPI Programs," Proc. of the 2st Int'l Conf. on Grid and Pervasive Computing (GPC), Lecture Notes in Computer Science, 4459: 322-333, Springer-Verlag, Paris, France, May 2007. | Hyun-Ji Kim | 11.13 |
| 7 | ChLi10 | Lee Chew and David Lie “Kivati: Fast Detection and Prevention of Atomicity Violations” Department of Electrical and Computer Engineering University of Toronto | Bong-Jun Paeng | 11.20 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | Orientation of DS-Lab. | Yong-Kee Jun | 7.10 | |
| A proposal talk | In-Bon Kuh | |||
| 2 | ELCG12 | E., Laura, B. Lucia, L. Ceze, D. Grossman, and Hans-J. Boehm, "IFRit: Interference-Free Regions for Dynamic Data-Race Detection," in Proc. of Object oriented programming systems languages and applications (OOPSLA'12), pp. 467-483, ACM, Arizona, October 2012. | Se-Won Park | 7.17 |
| YuNa09 | Jie Yu and S. Narayanasamy, "A Case for an Interleaving Constrained Shared-Memory Multi-Processor", in Proc. of the 36th Annual International Symposium on Computer Architecture (ISCA'09), pp. 325-336, ACM, 2009. | Bong-Jun Paeng | ||
| 3 | PaCh08 | Mi-Young Park and Sang-Hwa Chung, "Detection of first races for debugging message-passing programs," in the 8th IEEE International Conference on Computer and Information Technology, pp. 261-266, IEEE, 2008. | Hyun-Ji Kim | 7.24 |
| An invited talk | Ok-Kyoon Ha | |||
| 4 | FlFr09 | Flanagan, C., and S. N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," in Proc. of the 2009 ACM SIGPLAN conference on Programming language design and implementation (PLDI'09), pp. 121-133, ACM, Ireland, June 2009. | Se-Won Park | 7.31 |
| LPSZ08 | Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics", in Proc. of the 13th international conference on Architectural support for programming languages and operating systems (ASPLOS'08), pp. 329-339, ACM, March 2008. | Bong-Jun Paeng | ||
| 5 | Aero06 | ARINC SPECIFICATION 653P1-2: Avionics Application Software Standard Interface, Part 1 - Required Services, Aeronautical Radio, Inc., Dec 2005. | Hyun-Ji Kim | 8.7 |
| ChLi10 | Lee Chew, and David Lie, "Kivati: fast detection and prevention of atomicity violations," in Proc. of the 5th European conference on Computer systems (EuroSys'10), pp. 307-320, ACM, April 2010. | In-Bon Kuh | ||
| An invited talk | Guy Martin Tchamgoue | TBA | ||
| An overview of concurrency bugs | Yong-Kee Jun | TBA |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | PaJu04 | Mi-Young Park and Yong-Kee Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs" Springer Berlin Heidelberg, 2004 | Hyun-ji | 5.30 |
| 2 | ELCG12 | L.Effinger-Dean, Hans-J.Boehm, "Interference-Free Regions for Dynamic Data-Race Detection", 2009. | Se-Won | 6.13 |
| 3 | YuNa09 | Jie Yu and S. Narayanasamy, "A Case for an Interleaving Constrained Shared-Memory Multi-Processor", in Proc. Of the 36th Annual International Symposium on Computer Architecture, 2009. | Bong-jun | 6.13 |
| 4 | 옥명09 | Ha, O., M.kang, and Y.Jun. "An Empirical Comparison and Analysis of Race Detection Tools for OpenMP Programs", journal of KIIT, 7(4):pp. 24-32, KIIT, August 2009 | Chang-Min | 6.20 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | ZhSL10 | Wei Zhang, Chong Sun, and Shan Lu. 2010. ConMem: detecting severe concurrency bugs through an effect-oriented approach. In Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems (ASPLOS XV). ACM, New York, NY, USA, 179-192. | In-Bon Kuh | 01.08 |
| 2 | TcKJ12e | Tchamgoue, G. M., Kim, K.-H., and Jun, Y.-K.: E_cient Detection of Data Races in Concurrent Signal Handlers. Information-An International Interdisciplinary Journal, 15(3):1317-1338, March 2012. | Myeong-Sin | 01.22 |
| 3 | NeMi92 | R. H. B. Netzer and B. P. Miller. What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst., 1:74–88, March 1992. | Eu-Teum | 01.22 |
| 4 | SeIs09 | Konstantin Serebryany and Timur Iskhodzhanov. 2009. ThreadSanitizer: data race detection in practice. In Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA '09). ACM, New York, NY, USA, 62-71. | Se-Won | 01.29 |
| 5 | HKTJ12 | On-the-fly Detection of Data Races in OpenMP Programs | Hyun-ji | 01.29 |
| 6 | LPSZ08 | Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. 2008. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. SIGARCH Comput. Archit. News 36, 1 (March 2008), 329-339. | Eu-Teum | 02.05 |
| 7 | TaGO08 | T. Tahara, K. Gondow, S. Ohsuga, "Dracula: Detector of Data Races in Signals Handlers," In Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC '08), IEEE, pp. 17-24, 2008 | Myeong-Sin | 02.05 |
| 8 | JaTi08 | A. Jannesari and W. F. Tichy, "On-the-fly race detection in multi-threaded programs," in PADTAD08: Proceedings of the 6th workshop on Parallel and distributed systems. New York, NY, USA: ACM, 2008. | Bong-jun | 02.12 |
| 9 | PaJu04 | Mi-Young Park and Yong-Kee Jun. 2004. Detecting Unaffected Race Conditions in Message-Passing Programs. Springer Berlin Heidelberg. | Hyun-ji | 02.12 |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | SeIs09 | S., Konstantin, and Timur Iskhodzhanov, "ThreadSanitizer - data race detection in practice," Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA'09), pp. 62-71, ACM, NY, December, 2009. | In-Bon Kuh | 01.30 |
| FaNU03 | E. Farchi, Y. Nir, and S. Ur, "Concurrent Bug Patterns and How to Test Them," In Proceedings of the 17th International Symposium on Parallel and Distributed Processing, pp.286-292, IEEE, 2003 | Myeong-Sin | ||
| 2 | FeFe07 | T. K. Ferrell and U. D. Ferrell, "RTCA DO-178B/EUROCAE ED-12B", Avionics: Elements, Software and Functions. | Sun-Sook | 02.06 |
| HeMc96 | D. P. Helmbold and C. E. McDowell, "A Taxonomy of Race Conditions," Journal of Parallel Distributed Computing, 33(2):159-164, 1996. | Eu-Teum | ||
| 3 | KLTU07 | B. Krena, Z. Letko, R. Tzoref, S. Ur, and T. Vojnar, "Healing data races on-the-fly." In Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging (PADTAD '07). ACM, New York, NY, USA, 54-64. | Joong Hoon | 02.13 |
| ELCG12 | E., Laura, B. Lucia, L. Ceze, D. Grossman, and Hans-J. Boehm, "IFRit: Interference-Free Regions for Dynamic Data-Race Detection," Proceedings of Object oriented programming systems languages and applications (OOPSLA'12), pp. 467-483, ACM, Arizoan, October, 2012. | In-Bon Kuh | ||
| 4 | EMBO10 | J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, "Effective Data-Race Detection for the Kernel", In Proceedings of the 9th USENIX conference on Operating systems design and implementation (OSDI'10), USENIX, pp. 1-16, 2010. | Myeong-Sin | 02.20 |
| SBNS97 | S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst., 15:391-411, November 1997. | Eu-Teum | ||
| 5 | LeVK08 | Z.Letko,T.Vojnar, and B. Krena, "AtomRace: Data Race and Atomicity Violation Detector and Healer," PADTAD 2008, ACM. | Joong Hoon | 02.27 |
| 6 | FlFr10 | C. Flanagan, and S. N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," Communications of the ACM, vol 53, pp. 93-101, ACM, Nov. 2010. | Myeong-Sin | 03.06 |
| JaTi08 | A. Jannesari and W. F. Tichy, "On-the-fly Race Detection in Multi-Threaded Programs," In Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), ACM, pp. 1-10, July 2008. | Eu-Teum | ||
| 7 | MeHJ12 | Y. Meng, O.-K. Ha, and Y.-K. Jun, "Dynamic Instrumentation for Determining Logical Concurrency Between Threads of OpenMP Programs". | Meng Ying | 03.12 |
| RBKZ09 | P. Ratanaworabhan, M. Burtscher, D. Kirovski, B. Zorn, R. Nagpal, and Karthik Pattabiraman, "Detecting and Tolerating Asymmetric Races," Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 173-184, ACM. | Joong Hoon |
| No | Ref | Citation | Speaker | Date |
|---|---|---|---|---|
| 1 | RBKZ09 | P. Ratanaworabhan, M. Burtscher, D. Kirovski, B. Zorn, R. Nagpal, and Karthik Pattabiraman, "Detecting and Tolerating Asymmetric Races," Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 173-184, ACM. | In-Bon | 03.24 |
| ArHH07 | Artho, C., Havelund, K., Honiden, S.: Visualization of concurrent program executions. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), pp. 541-546. IEEE Computer Society, Los Alamitos, July 2007. | Gan-Lin | ||
| 2 | PaPJ01 | So-Hee Park, Mi-Young Park, and Yong-Kee Jun. "A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs," R.Eigenmann and M.J. Voss (Eds.): WOMPAT 2001, LNCS 2104, pp.68-80, 2001. | Meng Ying | 03.31 |
| BBMP06 | Banerjee, U., B. Bliss, Z. Ma, P. Petersen, "A Theory of Data Race Detection," In Proc. of 4th Workshop on Parallel and Distributed programming: Testing, Analysis and Debugging (PADTAD'06), ACM, Portland, Maine, pp. 69-78, 2006. | Sahaja | ||
| 3 | LeVK08 | Z.Letko,T.Vojnar, and B. Krena, "AtomRace: Data Race and Atomicity Violation Detector and Healer," PADTAD 2008, ACM. | Martin | 04.07 |
| 4 | FlFr10 | Flanagan, Cormac, and Stephen N. Freund, "FastTrack: Efficient and Precise Dynamic Race Detection," Communications of the ACM, vol 53, pp. 93-101, ACM, Nov. 2010. | In-Bon | 04.21 |
| DiSc90 | Dinning, A., and E. Schonberg, "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection", PPoPP’90, ACM. | Joong Hoon | ||
| 5 | PPSL10 | Harish Patil, Cristiano Pereira, Mack Stallcup, Gregory Lueck, James Cownie. "PinPlay: A Framework for Deterministic Replay and Reproducible Analysis of Parallel Programs," In Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization (CGO 2010), ACM, PP. 2-11, 2010. | Meng Ying | 04.28 |
| LeRM03 | Leroux, H., R’equil’e-Romanczuk, A., Mingins, C.: Jacot: a tool to dynamically visualise the execution of concurrent java programs. In: Proceedings of the 2nd International Conference on Principles and Practice of Programming in Java (PPPJ 2003), pp. 201-206. Computer Science Press, Inc., Rockville, 2003. | Gan Lin | ||
| 6 | Mell91 | J. Mellor-Crummey, "On-the-fly Detection of Data Races for Programs with Nested Fork-join Parallelism," In Proceedings of the ACM/IEEE Conference on Supercomputing, ACM, pp. 24-33, August 1991. | Joong Hoon | 05.05 |
| 7 | TiPa05 | B. L. Titzer and J. Palsberg, "Nonintrusive Precision Instrumentation of Microcontroller Software," LCTES’05, ACM, June 15-17, 2005, Chicago,USA. | Martin | 05.12 |
| RoMB04 | Ronsse, M., J. Maebe, and K. De Bosschere, "Detecting Data Races in sequential Programs with DIOTA," In Proc. of Euro-Par 2004 Parallel Processing, Lecture Notes in Computer Science (LNCS), Springer, Vol. 3149: 82-89, 2004. | Sahaja | ||
| 8 | SSTA09 | T. Schoofs, S. Santos, C. Tatibana,and J. Anjos, "An Integrated Modular Avionics Development Environment," 28th Digital Avionics Systems Conference, IEEE 2009 | Joong Hoon | 05.19 |
| Raza06 | Aoun Raza. "A Review of Race Detection Mechanisms," D.Grigoriev, J.Harrison, and E.A.Hirsch (Eds.): CSR 2006, LNCS 3967, pp. 534-543, 2006. | Meng Ying |