I am a PhD student at Concurrency and Parallelism Laboratory, KAIST School of Computing. I am mainly interested in verifying programs using concurrent separation logic. Specifically, I’m focusing on concurrent programs with a complex interaction of libraries and manual memory management on weak memory models.
- Email: email@example.com
- GitHub: tomtomjhj
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
(2020 - Current) Ph.D. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
(2020) B.S. in Computer Science. KAIST.
(PLDI 2022) Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic.
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer.
ACM SIGPLAN conference on Programming Languages Design and Implementation (to appear).
[paper] [project page]
(PLDI 2020) A Marriage of Pointer- and Epoch-Based Reclamation.
Jeehoon Kang, Jaehwang Jung.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper] [artifact (Benchmark)]
Intern, Runtime Verification Inc., May, 2018 - August, 2018, January, 2019 - February 2019.