Showing results 14 to 28 of 28
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 |
Modular hardware description of pipelined circuits with hazards = 해저드가 포함된 파이프라인 회로의 모듈러한 하드웨어 설계link Jang, Minseong; 장민성; et al, 한국과학기술원, 2024 |
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 |
Quantum probabilistic model checking = 양자컴퓨터를 이용한 확률 시스템 모델체킹link Jeon, Seungmin; 전승민; et al, 한국과학기술원, 2024 |
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 |
Taming shared mutable states of operating systems in Rust Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; Kim, Tae Woo; Kim, Jungwoo; Lee, Junsoo; Ryu, Sukyoung; et al, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12 |
이기종 프로세서를 사용하는 딥러닝 모델을 위한 서빙 시스템 = 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