Researcher Page

사진
Kang, Jeehoon (강지훈)
부교수, (전산학부)
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
    Taming shared mutable states of operating systems in Rust

    Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; et al, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12

    2
    Modular Hardware Design of Pipelined Circuits with Hazards

    Jang, Minseong; Rhee, Jungin; Lee, Woojin; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.PLDI, 2024-06

    3
    A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

    Park, Sunho; Kim, Jaewoo; Mulder, Ike; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.PLDI, 2024-06

    4
    Concurrent Immediate Reference Counting

    Jung, Jaehwang; Kim, Jeonghyeon; Parkinson, Matthew J.; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.8, no.PLDI, 2024-06

    5
    Memento: A Framework for Detectable Recoverability in Persistent Memory

    Cho, Kyeongmin; Jeon, Seungmin; Raad, Azalea; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, pp.292 - 317, 2023-06

    6
    Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing

    Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; et al, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07

    7
    Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations

    Lennard Gäher; Michael Sammler; Simon Spies; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, pp.28:1 - 28:31, 2022-01

    8
    Stacked Borrows: An Aliasing Model for Rust

    Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

    9
    CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification

    Song, Youngju; Cho, Minki; Kim, Dongjoo; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01

    10
    Lightweight Verification of Separate Compilation

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

    11
    A Formal C Memory Model Supporting Integer-Pointer Casts

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

    12
    Global Sparse Analysis Framework

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

    13
    A Dice Rolling Game on a Set of Tori

    Kang, Jeehoon; 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