Jaehwang Jung (정재황)
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 manual memory management.
- Email: firstname.lastname@example.org
- GitHub: tomtomjhj
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2020) B.S. in Computer Science. KAIST.
(PLDI 2020) A Marriage of Pointer- and Epoch-Based Reclamation.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
Intern, Runtime Verification Inc., May, 2018 - August, 2018, January, 2019 - February 2019.