DSLab. News

2023-08-25
- 2023년 8월 23일 ~ 25일까지 부산 코모도호텔에서 진행된 전국 SW테스트경진대회에서 수상을 하였습니다. 수상자는 다음과 같습니다. ( NEWS)
  - 대상: 배창희
  - 장려상: 이준호, 정재욱

2023-08-21
- 2023년 8월 23일 ~ 25일까지 부산 코모도호텔에서 열리는 2023년 전국 SW테스트경진대회에 참석합니다. 참석자는 다음과 같습니다.
  - 박사과정: 배창희
  - 석사과정: 박진석, 이준호
  - 학사과정: 정재욱

2023-07-18
- 2023년 7월 6일 ~ 7일까지 김해 아이스퀘어호텔에서 진행된 2023년 동남권 SW 품질캠프에서 수상을 하였습니다. 수상자는 다음과 같습니다. ( NEWS)
  - 대상: 배창희
  - 우수상: 박진석, 이준호, 정재욱

2023-07-06
- 2023년 7월 6일 ~ 7일까지 김해 아이스퀘어호텔에서 열리는 2023년 동남권 SW 품질캠프에 참석합니다. 참석자는 다음과 같습니다.
  - 박사과정: 배창희
  - 석사과정: 박진석, 이준호, 정지원, 한민균
  - 학사과정: 정재욱

2023-05-20
- 김상윤 박사과정이 Applied Sciences 저널에 제출한 논문이 게재되었습니다.
- 주제: Student Dropout Prediction for University with High Precision and Recall

2023-04-17
- ITEQS2023에 제출한 배창희 박사과정의 논문("Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations")이 ITEQS 2023 Best paper로 선정되었습니다.

2023-03-07
- 배창희 박사과정이 4월 16일 ~ 20일까지 Ireland Dublin의 Clayton Hotel에서 열리는 ITEQS2023에 참석합니다.
- 발표 논문: Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations

2022-12-6
- 배창희, 정지원 학생이 12월 6일 Lotte Hotel Busan에서 열린 ISE Workshop 2022에 온라인 참석하였습니다.
  - 발표 논문 : Automatic Flight Plan Creation Tool with Digital Twin for Monitoring Forest Fire on Mountain Trail through UAV

2022-11-23
- 석사 졸업생 김태형 의 "항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법"이 특허 등록되었습니다.

2022-11-09
- 2022년 11월 17일부터 12월 1일까지 세미나를 진행합니다.
  - 주제
    - Program Coversion for Detection Data Races in Concurrent Interrupt Handlers (한민균)
    - Testing and Debugging Concurrency Bugs in Event-Driven Programs (정재욱)
    - DRACULA: Detector of Data Races in Signal Handlers (정지원)
    - Effective Race Detection for Event-Driven Programs (박진석)
    - EventHealer: Bypassing data races in event-driven programs (이준호)
    - Race Detection for Event-Driven Node.js Applications (배창희)
  - 장소 : 407동 310호
  - 시간 : 목요일 오후 4시

2022-10-07
- 워크샵을 진행합니다.
  - 주제
    - Pervasive Detection of Process Races (이준호)
    - Finding Concurrency Errors in Sequential Code Os-level, In-vivo Model Checking for Process Race (한민균)
    - SimRacer: An Automated Framework to Support Testing for Process-Level Races (박진석)
    - RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races (정재욱)
    - An automated framework to support testing for process-level race conditions (배창희)
    - ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원)
    - 학위논문 발표 리허설 (배창희)
  - 장소 : 407동 604호
  - 시간 : 10월 7일 오후 3시

2022-07-29
- 2022년 8월 4일부터 9월 1일까지 세미나를 진행합니다.
  - 주제
    - RRF: A Race Reproduction Framework for Use in Debugging Process-Level Races(정재욱)
    - Pervasive Detection of Process Races (이준호)
    - ReDPro: An Automated Technique to Detect and Regenerate Process-level Concurrency Failures (정지원)
    - SimRacer: An Automated Framework to Support Testing for Process-Level Races (박진석)
    - An automated framework to support testing for process-level race conditions (배창희)
    - Finding Concurrency Errors in Sequential Code OS-level, In-vivo Model Checking of Process Races (한민균)
  - 장소 : 407동 310호
  - 시간 : 목요일 오후 4시

2022-07-08
- 2022년 7월 7일부터 7월 8일까지 부산 아난티 힐튼 호텔에서 열린 2022 한국항공우주공학회 항공우주전자 심포지엄에 참석하였습니다. 발표 논문은 다음과 같습니다.
  - 한민균 : 등산로에서 산불 감시를 위한 무인기의 경로 생성 도구의 적용 가능성 분석

2022-05-20
- 2022년 5월 17일부터 5월 20일까지 제주 서귀포 칼호텔에서 열린 2022 항공우주시스템공학회 춘계학술대회에 참석하였습니다. 발표 논문은 다음과 같습니다.

2022-03-16
- 2022년 3월 24일부터 4월 7일까지 세미나를 진행합니다.
  - 주제
    - Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software (정재욱)
    - AI: A Lightweight System for Detecting and Tolerating Concurrency Bugs (이준호)
    - Learning from Mistakes — A Comprehensive Study on Real (박진석)
    - Atom-Aid: Detecting and Surviving Atomicity Violations (정지원)
    - ColorSafe: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations (배창희)
    - Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers (한민균)
  - 장소 : 407동 310호
  - 시간 : 목요일 오후 4시

2022-02-25
- Book 워크샵을 진행합니다.
  - 장소 : 407동 604호
  - 시간 : 3월 4일 오후 4시
  - 교재
    - Software Fault Tolerance Techniques and Implementation (Pull01)
  - 주제
    - Chapter 1 -Introduction (정재욱)
    - Chapt