Jeehoon Kang (강지훈)

I am an Assistant Professor at KAIST School of Computing and the Principal Investigator of Concurrency and Parallelism Laboratory. I received my Ph.D. from Seoul National University under the supervision of Prof. Chung-Kil Hur. I am designing and verifying concurrent and parallel systems, from microarchitectures to programming languages to algorithms, that greatly improve performance and significantly reduce power consumption, thereby serving as the basis for the upcoming era of massive data processing.

I am recruiting motivated students of all levels interested in designing and verifying concurrent and parallel systems. See the research page for more details on the research we are doing. If interested, please send me an email.

Contact

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

Education

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

• (2013) B.S. in Computer Science and Engineering and Mathematical Science. Seoul National University.

Experiences

• Chief Scientist and Founder, Furiosa AI, September, 2017 - current.

  (topic: deep learning accelerator and its compiler)

• Intern, MPI-SWS, September, 2015 - December, 2015

  (topic: relaxed-memory concurrency, advisor: Dr. Derek Dreyer)

• Software Engineer Intern, Google Korea, June, 2008 – August, 2008.

  (topic: machine translation)

Publications

See the research and publications pages.

Lectures

• CS420: Compiler Design (2020 Spring)
• CS492: Design and Analysis of Concurrent Programs (2019 Fall)
• CS500: Design and Analysis of Algorithm (2019 Spring)

Professional Activities

• Program Committee Chairs: 2021 POPL AEC, 2020 POPL AEC

• Program Committee Members: 2021 POPL, 2020 ICSE NIER, 2020 ICSE SEIP, 2020 ASPLOS (ERC), 2019 POPL AEC

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

• 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.

• 23rd place, ACM International Collegiate Programming Contest (ICPC) World Finals, 2008.

• Champion, ACM International Collegiate Programming Contest (ICPC) Regional Contest—Seoul, 2007.

• Gold Medal, International Olympiad in Informatics (IOI), 2005.

Calendar