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

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

Professional Activities

• Committee Chairs: 2020 POPL AEC
• Committee Members: 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