Tae Woo Kim (김태우)

I am a Master’s Student at KAIST School of Computing, with a research interest in the design of operating systems and other concurrent systems.

You can learn more on my personal website.

Contact

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

Education

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

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

Publications

• (SOSP 2025) Scalable Address Spaces using Concurrent Interval Skiplist.
  Tae Woo Kim, Youngjin Kwon, Jeehoon Kang .
  Symposium on Operating Systems Principles (accepted).
  ​ ​ ​
  

• (2024) Taming shared mutable states of operating systems in Rust.
  Jaemin Hong, Sunghwan Shim, Sanguk Park, Tae Woo Kim, Jungwoo Kim, Junsoo Lee, Sukyoung Ryu, Jeehoon Kang .
  Science of Computer Programming.
  [paper: doi] ​ [artifact: rv6] ​ ​
  

Awards and Honors

• Summa Cum Laude (4.24/4.3), KAIST, 2024.