Researcher Page

Kang, Jeehoon (강지훈)
조교수, School of Computing(전산학부)
Research Area
Concurrent programming, Parallel programming, Verification
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    Stacked Borrows: An Aliasing Model for Rust

    Jung, Ralf; Dang, Hong-Hai; Kang, Jeehoonresearcher; et al, Proceedings of the ACM on Programming Languages, v.4, no.POPL, pp.41, 2020-01

    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

    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

    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

    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

    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

    rss_1.0 rss_2.0 atom_1.0