Browse "School of Computing(전산학부)" by Author Kang, Jeehoon
Showing results 1 to 23 of 23
| 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 |
| A formal C memory model supporting integer-pointer casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp.326 - 335, ACM Special Interest Group on Programming Languages (SIGPLAN), 2015-06-16 |
| A Marriage of Pointer- and Epoch-Based Reclamation Kang, Jeehoon; Jung, Jaehwang, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, pp.314 - 328, Association for Computing Machinery, 2020-06-17 |
| A promising semantics for relaxed-memory concurrency Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pp.175 - 189, Association for Computing Machinery, 2017-01-18 |
| Applying Hazard Pointers to More Concurrent Data Structures Jung, Jaehwang; Lee, Janggun; Kim, Jeonghyeon; Kang, Jeehoon, 35th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2023, pp.213 - 226, ACM, 2023-06-17 |
| Compass: strong and compositional library specifications in relaxed memory separation logic Dang, Hoang-Hai; Jung, Jaehwang; Choi, Jaemin; Nguyen, Duc-Than; Mansky, William; Kang, Jeehoon; Dreyer, Derek, 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp.792 - 808, ACM, 2022-06-17 |
| 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 |
| Crellvm: Verified credible compilation for LLVM Kang, Jeehoon; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; et al, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.631 - 645, Association for Computing Machinery, 2018-06-22 |
| 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 |
| Lightweight verification of separate compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20 |
| 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 |
| Mixture of Experts 모델 서빙에 효율적인 단일 입력 단위 expert 병렬 실행을 위한 스케줄링 기법 = Fine-grained expert parallelism-based scheduling for Mixture-of-Experts model servinglink 심성환; 강지훈; et al, 한국과학기술원, 2023 |
| Promising-ARM/RISC-V: A simpler and faster operational concurrency model Pulte, Christopher; Pichon-Pharabod, Jean; Kang, Jeehoon; Lee, Sung-Hwan; Hur, Chung-Kil, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp.1 - 15, Association for Computing Machinery, 2019-06-24 |
| Repairing sequential consistency in C/C++11 Lahav, Ori; Vafeiadis, Viktor; Kang, Jeehoon; Hur, Chung-Kil; Dreyer, Derek, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp.618 - 632, Association for Computing Machinery, 2017-06-20 |
| Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8 Cho, Kyeongmin; Lee, Sung-Hwan; Raad, Azalea; Kang, Jeehoon, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp.16 - 31, ACM, 2021-06-19 |
| ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators Han, Sungsoo; Jang, Minseong; Kang, Jeehoon, 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2023, pp.702 - 717, Association for Computing Machinery, 2023-03 |
| 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 |
| 이기종 프로세서를 사용하는 딥러닝 모델을 위한 서빙 시스템 = Towards serving system for deep learning model using heterogeneous processorslink 박천명; 강지훈; et al, 한국과학기술원, 2021 |
| 지연 시간 무관 조립기를 이용한 네트워크 하드웨어의 함수적 기술 = Functional description of network hardware using latency-insensitive combinatorslink 한성수; 강지훈; et al, 한국과학기술원, 2023 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,773 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989