DSpace at KOASAS

Researcher Page

사진
Kang, Jeehoon (강지훈)
조교수, School of Computing(전산학부)

https://cp.kaist.ac.kr/jeehoon.kang

Research Area
Concurrent programming, Parallel programming, Verification
Co-researchers
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    Crellvm: Verified credible compilation for LLVM

    Kang J.researcher; Kim Y.; Song Y.; et al, ACM SIGPLAN Notices, v.53, no.4, pp.631 - 645, 2018-06

    2
    Lightweight Verification of Separate Compilation

    Kang, Jeehoonresearcher; Kim, Yoonseung; Hur, Chung-Kil; et al, ACM SIGPLAN NOTICES, v.51, no.1, pp.178 - 190, 2016-01

    3
    A Formal C Memory Model Supporting Integer-Pointer Casts

    Kang, Jeehoonresearcher; Hur, Chung-Kil; Mansky, William; et al, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06

    4
    Global Sparse Analysis Framework

    Oh, Hakjoo; Heo, Kihongresearcher; Lee, Wonchan; et al, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.36, no.3, 2014-09

    5
    A Dice Rolling Game on a Set of Tori

    Kang, Jeehoonresearcher; Kim, Suh-Ryung; Park, Boran, ELECTRONIC JOURNAL OF COMBINATORICS, v.19, no.1, pp.1 - 15, 2012-03
    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0