Jaemin Choi (최재민)

I was a Master Student at KAIST School of Computing. I studied formal verification of concurrent systems - in particular, I worked on formal verification of concurrent real-world programs.

Contact

• Email: jaemin.choi98@kaist.ac.kr
• GitHub: jh05013
• Bibliography: DBLP, Google Scholar
• Place: N/A

Education

• (2023) M.S. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).

• (2021) B.S. in Computer Science. KAIST.

Publications

• (OOPSLA 2023) Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
  Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang.
  Object-oriented Programming, Systems, Languages, and Applications.
  [paper: doi, local] ​ [artifact: Coq proofs] ​ ​
  

• (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: doi, local] ​ ​ ​
  

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.