Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jaehwang Jung
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2021 profile
SPLASH 2023 profile
Registered user since Tue 17 Jan 2023
Name:
Jaehwang Jung
Country:
South Korea
Affiliation:
KAIST
Contributions
2025
PLDI
Author of Verifying Lock-Free Traversals in Relaxed Memory Separation Logic within the PLDI Research Papers-track
Author of Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic within the PLDI Research Papers-track
2024
PLDI
Author of Concurrent Immediate Reference Counting within the PLDI Research Papers-track
Author of A Proof Recipe for Linearizability in Relaxed Memory Separation Logic within the PLDI Research Papers-track
2023
SPLASH
Author of Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic within the OOPSLA-track
2022
PLDI
Author of Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic within the PLDI-track
2021
POPL
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
2020
PLDI
Author of A Marriage of Pointer- and Epoch-Based Reclamation within the PLDI Research Papers-track
Share
x
Mon 5 May 13:34