معرفی
Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025.
Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification.
Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming.
As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.
