Showing results 1 to 9 of 9
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 |
A Formal C Memory Model Supporting Integer-Pointer Casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06 |
CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07 |
Global Sparse Analysis Framework Oh, Hakjoo; Heo, Kihong; Lee, Wonchan; Lee, Woosuk; Park, Daejun; Kang, Jeehoon; Yi, Kwangkeun, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.36, no.3, 2014-09 |
Lightweight Verification of Separate Compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.51, no.1, pp.178 - 190, 2016-01 |
Memento: A Framework for Detectable Recoverability in Persistent Memory Cho, Kyeongmin; Jeon, Seungmin; Raad, Azalea; Kang, Jeehoon, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, pp.292 - 317, 2023-06 |
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations Lennard Gäher; Michael Sammler; Simon Spies; Ralf Jung; Hong-Hai Dang; Robbert Krebbers; Kang, Jeehoon; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, pp.28:1 - 28:31, 2022-01 |
Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
Discover