Quantitative Phase Imaging Techniques for the Study of Cell Pathophysiology: From Principles to Applications. - KyeoReh Lee; KyooHyun Kim; Jaehwang Jung; JiHan Heo; Sang-Yeon Cho; Sangyun Lee; Gyuyoung Chang; YoungJu Jo; Hyunjoo Park; YongKeun Park (Sensors, 2013)

A marriage of pointer- and epoch-based reclamation. - Jeehoon Kang; Jaehwang Jung (PLDI, 2020)

Compass: strong and compositional library specifications in relaxed memory separation logic. - Hoang-Hai Dang; Jaehwang Jung; Jaemin Choi; Duc-Than Nguyen; William Mansky; Jeehoon Kang; Derek Dreyer (PLDI, 2022)

Applying Hazard Pointers to More Concurrent Data Structures. - Jaehwang Jung; Janggun Lee; Jeonghyeon Kim; Jeehoon Kang (SPAA, 2023)

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. - Jaehwang Jung; Janggun Lee; Jaemin Choi; Jaewoo Kim; Sunho Park; Jeehoon Kang (Proc. ACM Program. Lang., 2023)

Blind Image Deblurring with Noise-Robust Kernel Estimation. - Chanseok Lee; Jeongsol Kim; Seungmin Lee; Jaehwang Jung; Yunje Cho; Taejoong Kim; Taeyong Jo; Myungjun Lee; Mooseok Jang (ECCV (20), 2024)

Concurrent Immediate Reference Counting (Abstract). - Jaehwang Jung; Jeonghyeon Kim; Matthew J. Parkinson; Jeehoon Kang (HOPC@SPAA, 2024)

Expediting Hazard Pointers with Bounded RCU Critical Sections. - Jeonghyeon Kim; Jaehwang Jung; Jeehoon Kang (SPAA, 2024)

Concurrent Immediate Reference Counting. - Jaehwang Jung; Jeonghyeon Kim; Matthew J. Parkinson; Jeehoon Kang (Proc. ACM Program. Lang., 2024)

A Proof Recipe for Linearizability in Relaxed Memory Separation Logic. - Sunho Park; Jaewoo Kim; Ike Mulder; Jaehwang Jung; Janggun Lee; Robbert Krebbers; Jeehoon Kang (Proc. ACM Program. Lang., 2024)

Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic. - Jaehwang Jung; Sunho Park; Janggun Lee; Jeho Yeon; Jeehoon Kang (Proc. ACM Program. Lang., 2025)

Verifying Lock-Free Traversals in Relaxed Memory Separation Logic. - Sunho Park; Jaehwang Jung; Janggun Lee; Jeehoon Kang (Proc. ACM Program. Lang., 2025)