Dependable Software Lab.

Site Tools

Sidebar

news

DSLab. News

  • 2023-04-17
    • ITEQS2023에 제출한 배창희 박사과정의 논문("Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations")이 ITEQS 2023 Best paper로 선정되었습니다.
  • 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-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
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
news.txt · Last modified: 2024-02-29 21:58 by 이건표

Page Tools