Jaemin Choi (최재민)
I am a Master Student at KAIST School of Computing. I am studying formal verification of concurrent systems - in particular, I’m working on formal verification of concurrent real-world programs.
- Email: firstname.lastname@example.org
- GitHub: jh05013
- Bibliography: DBLP, Google Scholar
- Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
(2021 - Current) M.S. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
(2021) 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.
[paper] [project page]
Awards and Honors
2nd place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.
3rd place award, Samsung Collegiate Programming Cup (SCPC), 2020.