Jeehoon Kang (강지훈)

I’m actively recruiting motivated students of all levels interested in designing and verifying concurrent and parallel systems. If you’re interested, please read this instruction and contact Jeehoon ASAP.

I’m a Tenure-Track Assistant Professor at KAIST School of Computing and the Principal Investigator of Concurrency and Parallelism Laboratory. I’m also an Adjunct Faculty at KAIST Graduate School of AI Semiconductor. I received my Ph.D. from Seoul National University under the supervision of Prof. Chung-Kil Hur.

I’m designing and verifying concurrent and parallel systems, from microarchitectures to programming languages and algorithms, that greatly improve performance and reduce power consumption, thereby serving as the basis for the upcoming era of massive data processing.

Contact

• Email: jeehoon.kang@kaist.ac.kr
• GitHub: jeehoonkang
• Bibliography: ORCID, DBLP, Google Scholar
• Place: Rm. 4433, Bldg. E3-1, KAIST (+82-42-350-3578)
• PGP key ( keybase): jeehoonkang

Education

• (2019) Ph.D. in Computer Science and Engineering. Seoul National University (thesis, supervisor: Prof. Chung-Kil Hur).

Experiences

• Chief R&D Officer, FuriosaAI, September, 2017 - .
  (topic: deep learning accelerator and its compiler)

• Intern (Researcher), MPI-SWS, September, 2015 - December, 2015
  (topic: relaxed-memory concurrency, advisor: Dr. Derek Dreyer)

• Intern (Software Engineer), Google Korea, June, 2008 – August, 2008.
  (topic: machine translation)

Research

See the projects and publications pages.

Teaching

See the lectures page.

Professional Activities

• Program Committee Chairs
  • 2021 POPL AEC
  • 2020 POPL AEC
• Program Committee Members
  • 2024: POPL, PLDI
  • 2023: ACM SRC, APLAS
  • 2022: PLDI, ESOP, CPP
  • 2021: POPL, OOPSLA, HOPE, PLOS
  • 2020: ICSE NIER, ICSE SEIP, ASPLOS (ERC)
  • 2019: POPL AEC
• Others:
  • 2023: APSEC Student Research Competition Chair
  • 2022: POPL Student Research Competition Co-Chair, CGO Proceedings Chair
  • 2021: CGO Proceedings Chair
  • 2020: ICSE Virtualization Technology Chair

Open Source Contributions

• Crossbeam: a concurrency library in Rust
• Crellvm: a verified credible compilation framework for LLVM
• SepCompCert: verification of separate compilation of CompCert

Invited Talks

• iRRAM-Coq: Fearless Verification of Exact Real Arithmetic Programs.
  The 1st Workshop on Real Verification (RV 2017).
  [development]

Awards and Honors

• 황규영 학술진흥기금 커리어 어워드, KAIST 전산학부, 2023.

• Distinguished Paper Award, ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.

• Doctoral Dissertation Award, Dept. of Computer Science and Engineering, Seoul National University, 2019.

• Distinguished Paper Award, ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI), 2017.

Calendar