Researcher Page

사진

Kang, Jeehoon (강지훈) E-6130-2019

Department
School of Computing(전산학부)
Website
https://sf.snu.ac.kr/jeehoon.kangHomePage
Research Area
Concurrent programming, Parallel programming, Verification

Keyword Cloud

Reload 더보기
1

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

2

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

3

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

4

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