Site Tools

Command disabled: revisions

seminar

Table of Contents

DSLab. Seminar

2019

workshop: 2019 Nov. workshop

No Ref Contents Discussion Speaker Date
1 Redmine 최으뜸 11/28 4pm
2 FACE(Future Airborne Capability Environment) overview 이건표 11/28 4pm
3 FACE(Future Airborne Capability Environment) 기반의 SITL(Software in the Loop) 연구 이건표 11/28 4pm
4 project 진행 사항 점검 이건표 11/28 4pm
6 workshop 11/28 4pm

Seminar: 2019 Research topic sharing

No Ref Contents Discussion 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 10/24 4pm

Seminar: 2019 Development Tool Study

No Ref Contents Discussion 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 9/20 5pm

Seminar: 2019 Research sharing

No Ref Contents Discussion 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 8/1 5pm

Seminar: 2019 Flight Management System

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

Seminar: 2019 FACE 3.0 2nd

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

Seminar: 2019 FACE & FMS

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

2018

Seminar: 2018 Repairing

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

Seminar: 2018 UML 2.0

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

Seminar: 2018 Dod JSSSEH

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

Seminar: 2019 New member's

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

Seminar: 2018 winter

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

2017

Seminar: 2017 Spring

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

2016

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

2015

Seminar: 2015 Spring

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

2014

Seminar: 2014 Fall

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 WisconsinMadison 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

Seminar: 2014 Summer

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

Seminar: 2014 Spring

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

2013

Seminar: 2013 Winter

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

2012

Seminar: 2012 Winter

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

Seminar: 2012 Spring

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
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
seminar.txt · Last modified: 2019-12-02 10:38 by I-Jeong Woo