Jaehwang Jung (정재황)
I am an Undergraduate Student at KAIST School of Computing. I’m interested in various topics including but not limited to verification of concurrent and distributed systems, tools for easier concurrent programming, and type systems.
- Email: email@example.com
- GitHub: tomtomjhj
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
- (2020) B.S. in Computer Science. KAIST (expected).
(PLDI 2020) A Marriage of Pointer- and Epoch-Based Reclamation.
ACM SIGPLAN conference on Programming Languages Design and Implementation (conditionally accepted).
Intern, Runtime Verification Inc., May, 2018 - August, 2018, January, 2019 - February 2019.