Dae R. Jeong

Contact Info

  • Email: dae.r.jeong at gatech.edu
  • Office: S0967B, CODA Bldg
  • Address: 756 West Peachtree St NW, Atlanta, GA 30332-4016

Research Interests

  • Automating vulnerability detection
  • Reproducing and diagnosing system failures
  • Mitigating attacks and system hardening
  • Formally verifying security properties of systems

Selected Publications

  • Ozz: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
    Dae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, and Youngjin Kwon
    ACM Symposium on Operating Systems Principles (SOSP), 2024

  • Serenus: Alleviating Low-Battery Anxiety Through Real-time Accurate and User-Friendly Energy Consumption Prediction of Mobile Applications
    Sera Lee*, Dae R. Jeong*, Junyoung Choi, Jaeheon Kwak, Seoyun Son, Jean Y. Song, and Insik Shin
    ACM Symposium on User Interface Software and Technology (UIST), 2024
    *: equally contributed

  • SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing
    Dae R. Jeong, Byoungyoung Lee, Insik Shin, and Youngjin Kwon
    IEEE Symposium on Security and Privacy (S&P), 2023

  • Diagnosing Kernel Concurrency Failures with AITIA
    Dae R. Jeong, Minkyu Jung, Yoochan Lee, Byoungyoung Lee, Insik Shin, and Youngjin Kwon
    European Conference on Computer Systems (EuroSys), 2023

  • Razzer: Finding Kernel Race Bugs through Fuzzing
    Dae R. Jeong, Kyungtae Kim, Basavesh Shivakumar, Byoungyoung Lee, and Insik Shin
    IEEE Symposium on Security and Privacy (S&P), 2019

Professional Activities

  • Technical program committee
    • Usenix ATC 2025
  • External review committee
    • Usenix ATC 2024
  • Artifact evaluation committee
    • Usenix OSDI 2024
    • Usenix ATC 2024
  • Shadow program committee
    • ACM EuroSys 2023

Other Interests

  • Surfing; Travel; Scuba/free diving; Workout; Chess; Reading; (Humpback) whales
    Feel free to reach out to me if you want to join! XD