Jaehwang Jung

According to our database, Jaehwang Jung authored at least 5 papers between 2013 and 2023.

Collaborative distances:

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

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