Jaehwang Jung

12 papers A* 2B 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Jaehwang Jung, Sunho Park, Janggun Lee, Jeho Yeon, Jeehoon Kang
2025 J jnl
Verifying Lock-Free Traversals in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Sunho Park, Jaehwang Jung, Janggun Lee, Jeehoon Kang
2024 J jnl
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang
2024 — conf
Blind Image Deblurring with Noise-Robust Kernel Estimation.
ECCV (20)
Chanseok Lee, Jeongsol Kim, Seungmin Lee, Jaehwang Jung, Yunje Cho, Taejoong Kim, Taeyong Jo, Myungjun Lee, Mooseok Jang
2024 — conf
Concurrent Immediate Reference Counting (Abstract).
HOPC@SPAA
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
2024 J jnl
Concurrent Immediate Reference Counting.
Proc. ACM Program. Lang.
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
2024 B conf
Expediting Hazard Pointers with Bounded RCU Critical Sections.
SPAA
Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang
2023 B conf
Applying Hazard Pointers to More Concurrent Data Structures.
SPAA
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
2023 J jnl
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Proc. ACM Program. Lang.
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
2022 A* conf
Compass: strong and compositional library specifications in relaxed memory separation logic.
PLDI
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
2020 A* conf
A marriage of pointer- and epoch-based reclamation.
PLDI
Jeehoon Kang, Jaehwang Jung
2013 J jnl
Quantitative Phase Imaging Techniques for the Study of Cell Pathophysiology: From Principles to Applications.
Sensors
KyeoReh Lee, KyooHyun Kim, Jaehwang Jung, JiHan Heo, Sang-Yeon Cho, Sangyun Lee, Gyuyoung Chang, YoungJu Jo, Hyunjoo Park, YongKeun Park