Janggun Lee

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Modular Structure

Automated Reasoning

Sequent Calculi

Top Venues

Proc. ACM Program. Lang.

Publications

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, 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)