Directions
2025
-
Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
Jung, M, Jaehwang Jung, Janggun Lee, Kang, Jeehoon
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
2025 -
ZigZagFuzz: Interleaved Fuzzing of Program Options and Files
Ahcheong Lee, Youngseok Choi, Hong, Shin, Kim, Yunho, Cho, Kyutae, Moonzoo Kim
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2025 -
“It’s Great Because It’s Ran By Us”: Empowering Teen Volunteer Discord Moderators to Design Healthy and Engaging Youth-Led Online Communities
Yoon, Jina, Zhang, Amy X., Seering, Joseph
Proceedings of the ACM on Human-Computer Interaction
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 Latency Processing Unit: A Latency-Optimized and Highly Scalable Processor for Large Language Model Inference
Moon, Seungjae, Kim, Jung-Hoon, Kim, Junsoo, Hong, Seongmin, Cha, Junseo, Minsu Kim, Lim, Sukbin, Choi, Gyubin, Seo, Dongjin, Kim, Jongho, Lee, Hunjong, Park, Hyunjun, Ko, Ryeowook, Choi, Soongyu, PARK JONGSE, Lee, Jinwon, Kim, Joo-Young
IEEE MICRO
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 SMARTPHONE TO THE RESCUE: Detecting Counterfeit Powdered Food Products
Jonghyuk Yun, Lee, Kyoosik, Lee, Kichang, Sun, Bangjie, Jeon, Jaeho, Ko, Jeonggil, Hwang, Inseok, Jun Han
GETMOBILE-MOBILE COMPUTING & COMMUNICATIONS REVIEW
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
