| 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 |
