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
POPL 2021 profile
SPLASH 2023 profile
Registered user since Tue 17 Jan 2023
Name:
Jaehwang Jung
Country:
South Korea
Affiliation:
KAIST
Contributions
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
Thu 19 Dec 00:01