Jaehwang Jung

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Topics

Computing Power

Top Venues

Proc. ACM Program. Lang.

Publications

Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang
Expediting Hazard Pointers with Bounded RCU Critical Sections. SPAA (2024)
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
Concurrent Immediate Reference Counting. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
Concurrent Immediate Reference Counting (Abstract). HOPC@SPAA (2024)
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
Applying Hazard Pointers to More Concurrent Data Structures. SPAA (2023)
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Jeehoon Kang, Jaehwang Jung
A marriage of pointer- and epoch-based reclamation. PLDI (2020)
KyeoReh Lee, KyooHyun Kim, Jaehwang Jung, JiHan Heo, Sang-Yeon Cho, Sangyun Lee, Gyuyoung Chang, YoungJu Jo, Hyunjoo Park, YongKeun Park
Quantitative Phase Imaging Techniques for the Study of Cell Pathophysiology: From Principles to Applications. Sensors 13 (4) (2013)