Showing results 20 to 27 of 27
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 |
이기종 프로세서를 사용하는 딥러닝 모델을 위한 서빙 시스템 = 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