• Sign in
  • Sign up
conf.researchr.org / Jaehwang Jung
  • PLDI 2020 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2021 profile
  • SPLASH 2023 profile
No Photo

Registered user since Tue 17 Jan 2023

Name:Jaehwang Jung
Country:South Korea
Affiliation:Rebellions Inc

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
xThu 22 May 17:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up