Seungmin Jeon (전승민)

I am a Ph.D Student at KAIST Graduate School of AI Semiconductor, KAIST at Concurrency and Parallelism Laboratory.

My research focuses on enhancing the computing ecosystem for cutting-edge hardware, such as quantum computers and persistent memory.

Contact

• Email: seungmin.jeon@kaist.ac.kr
• GitHub: zzz845zz
• Bibliography: ORCID, DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2024 - Current) Ph.D. in AI Semiconductor. KAIST

• (2024) M.S. in Computer Science. KAIST.

• (2021) Computer Science & Engineering. Chungnam National University.

Publications

• (OOPSLA 2024) Quantum Probabilistic Model Checking for Time-bounded Properties.
  Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang.
  Object-oriented Programming, Systems, Languages, and Applications.
  [paper: doi, local] ​ ​ ​
  

• (PLDI 2023) Memento: A Framework for Detectable Recoverability in Persistent Memory.
  Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang.
  ACM SIGPLAN conference on Programming Languages Design and Implementation.
  [paper: doi, local] ​ [artifact: development] ​ ​
  

• Pre-processing Method for Bird Sound Classifier.
  Jaemin Kang, Seungmin Jeon, Hyungshin Kim.
  Proceedings of 2020 IEMEK Symposium on Embedded Technology, July, 2020, pp. 40-41. (written in Korean)

• A Malware Variants Detection Method Based on Malicious API Call Sequence.
  Seungmin Jeon, Woojin Joe, Hyongshik Kim.
  Proceedings of Korea Software Congress 2019, December, 2019, pp. 1630-1632 (written in Korean)

Experiences

• Research intern, Mobile Distributed Computing Lab (Chungnam National University), September, 2020 - December, 2020

  (topic : behavioral control algorithm for autonomous robots)

• Research intern, Embedded System Lab (Chungnam National University), March, 2020 - June, 2020.

  (topic : sound-based bird classification)

• Development intern, Satrec Initiative, December, 2019 - February, 2020.

  (topic : various tool development)

• Research intern, System Architecture and Security Lab (Chungnam National University), June, 2019 - December, 2019

  (topic : identification of malicious code variants)