DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Kang, Jeehoon

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 11 of 11

1
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

2
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

3
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

4
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

5
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

6
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

7
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

8
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

9
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

10
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

11
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

Discover

rss_1.0 rss_2.0 atom_1.0