Janggun Lee

According to our database, Janggun Lee authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

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

Quantum Probabilistic Model Checking for Time-Bounded Properties.

Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang

Proc. ACM Program. Lang., 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