Skip to content

Latest commit

 

History

History
92 lines (53 loc) · 4.08 KB

jeehoon.kang.md

File metadata and controls

92 lines (53 loc) · 4.08 KB
Raw
layout excerpt
page
Jeehoon Kang's website

{% assign person_id = "jeehoon.kang" %}

{% include person_header.md person_id=person_id %}

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 interested in concurrency and parallelism broadly construed, from microarchitectures to programming languages to algorithms, since concurrency and parallelism are at the heart of massive data processing.

{% include person_contact.md person_id=person_id %} {% include person_education.md person_id=person_id %}

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 [publications]({{ site.baseurl }}{% link publications.md %}) page.

Lectures

Professional Activities

  • Co-chair, 2020 POPL AEC: Symposium on Principles of Programming Languages, Artifact Evaluation Committee.
  • Member, 2020 ASPLOS ERC: International Conference on Architectural Support for Programming Languages and Operating Systems, External Review Committee.
  • Member, 2020 ICSE NIER PC: International Conference on Software Engineering, New Ideas and Emerging Results Track, Program Committee.
  • Member, 2020 ICSE SEIP PC: International Conference on Software Engineering, Software Engineering in Practice Track, Program Committee.
  • Member, 2019 POPL AEC: Symposium on Principles of Programming Languages, Artifact Evaluation Committee.

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