Jaehwang Jung

According to our database, Jaehwang Jung authored at least 12 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Lock-Free Traversals in Relaxed Memory Separation Logic.

Sunho Park, Jaehwang Jung, Janggun Lee, Jeehoon Kang

Proc. ACM Program. Lang., 2025

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

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

Concurrent Immediate Reference Counting.

Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Expediting Hazard Pointers with Bounded RCU Critical Sections.

Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Concurrent Immediate Reference Counting (Abstract).

Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

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

Proceedings of the Computer Vision - ECCV 2024, 2024

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., October, 2023

Applying Hazard Pointers to More Concurrent Data Structures.

Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020

A marriage of pointer- and epoch-based reclamation.

Jeehoon Kang, Jaehwang Jung

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2013

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