KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
  • 2025

  • Causal program dependence analysis

    Lee, Seongmin, Binkley, Dave, Feldt, Robert, Gold, Nicolas, Shin Yoo
    SCIENCE OF COMPUTER PROGRAMMING
    2025

  • Reconstruction of an execution architecture view by identifying mapping rules for connectors

    Hwi Ahn, Sungwon Kang, Lee, Seonah
    JOURNAL OF SYSTEMS AND SOFTWARE
    2025

  • Type-migrating C-to-Rust translation using a large language model

    Jaemin Hong, Sukyoung Ryu
    EMPIRICAL SOFTWARE ENGINEERING
    2025

  • 2024

  • "OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

    Kwon Youngjin
    ACM Symposium on Operating Systems Principles
    2024

    []

  • 2D Particle Filter Accelerator for Mobile Robot Indoor Localization and Pose Estimation

    Omer Tariq, Dongsoo Han
    IEEE ACCESS
    2024

  • 3D Segmentation of Subcortical Brain Structure with Few Labeled Data using 2D Diffusion Models

    JIHOON CHO, Jinah Park
    ISMRM 2024
    2024

    []

  • A Conflict-Aware Channel Assignment in Multi-Radio Multi-Channel Wireless Mesh Networks

    Shin, Donghoon, Lee, Changreol, Sunghee Choi
    IEEE ACCESS
    2024

  • A Context-Aware Onboarding Agent for Metaverse Powered by Large Language Models

    Hong, Jihyeong, Lee, Yokyung, Kim, Dae Hyun, Choi, DaEun, Yoon, Yeo-Jin, Lee, Gyu-Cheol, Lee, Zucheul, Juho Kim
    2024 ACM Designing Interactive Systems Conference, DIS 2024
    2024

    []

  • A Flat Wall Theorem for Matching Minors in Bipartite Graphs

    Sebastian Wiederrecht, Giannopoulou, Archontia
    56th Annual ACM Symposium on Theory of Computing (STOC)
    2024

  • A Gloss-Free Sign Language Production with Discrete Representation

    Euijun Hwang, HUIJE LEE, Jong C. Park
    2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition (FG)
    2024

    []

  • A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

    Jung, M, Kim, Jaewoo, Mulder, Ike, Jaehwang Jung, Janggun Lee, Krebbers, Robbert, Kang, Jeehoon
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
    2024

  • A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization

    Kang, Sungmin, An, Gabin, Shin Yoo
    ACM International Conference on the Foundations of Software Engineering
    2024

    []

  • A Reproducible Stress Prediction Pipeline with Mobile Sensor Data

    Yuzhang, Pan, Gyuwon Jung, Alikhanov, Jumabek, Ahmed, Uzair, Lee Uichin
    PROCEEDINGS OF THE ACM ON INTERACTIVE MOBILE WEARABLE AND UBIQUITOUS TECHNOLOGIES-IMWUT
    2024

  • A Survey of Image-based Virtual Try-on Technology

    박순찬, 박진아, 박지영
    Electronics and Telecommunications Trends
    2024

  • A Unified Approach for Synthesizing Multimodal Brain MR Images via Gated Hybrid Fusion

    JIHOON CHO, Jinah Park
    ISMRM 2024
    2024

    []

  • A dataset of ambient sensors in a meeting room for activity recognition

    Hyunju Kim, Kim, Geon, Tae-Hoon Lee, Kim, Kisoo, Dongman Lee
    SCIENTIFIC DATA
    2024

  • A dynamic perspective on software modularity in open source software (OSS) development: A configurational approach

    Moon, Eun Young, Howison, James
    INFORMATION AND ORGANIZATION
    2024

  • A machine learning approach using conditional normalizing flow to address extreme class imbalance problems in personal health records

    YOUNGMIN KIM, Choi, Wongyung, Choi, Woojeong, Ko, Grace, Han, Seonggyun, Kim, Hwan-Cheol, Kim, Dokyoon, Lee, Dong-gi, Shin, Dong Wook, Lee, Younghee
    BIODATA MINING
    2024

  • A novel semi-supervised model for pre-impact fall detection with limited fall data

    Yu, Xiaoqun, Wan, Jiansong, GUOYUAN AN, XU YIN, Xiong, Shuping
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
    2024

  • A survey on integration of large language models with intelligent robots

    Yeseung Kim, Dohyun Kim, Choi, Jieun, Park, Jisang, Oh, Nayoung, Park Daehyung
    INTELLIGENT SERVICE ROBOTICS
    2024