Jeehoon Kang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 24

Top Topics

Derivation Rules

Top Venues

Proc. ACM Program. Lang.

Publications

Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang
Expediting Hazard Pointers with Bounded RCU Critical Sections. SPAA (2024)
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
Concurrent Immediate Reference Counting. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, Jeehoon Kang
Modular Hardware Design of Pipelined Circuits with Hazards. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
Concurrent Immediate Reference Counting (Abstract). HOPC@SPAA (2024)
Sungsoo Han, Minseong Jang, Jeehoon Kang
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators. ASPLOS (2) (2023)
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
Applying Hazard Pointers to More Concurrent Data Structures. SPAA (2023)
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang
Memento: A Framework for Detectable Recoverability in Persistent Memory. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. Inf. Softw. Technol. 147 (2022)
Kyoung-Sook Moon, Hee Won Lee, Hee Jean Kim, Hongjoong Kim, Jeehoon Kang, Won Chul Paik
Forecasting Obsolescence of Components by Using a Clustering-Based Hybrid Machine-Learning Algorithm. Sensors 22 (9) (2022)
Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
Simuliris: a separation logic framework for verifying concurrent program optimizations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Kyeongmin Cho, Seungmin Jeon, Jeehoon Kang
Practical Detectability for Persistent Lock-Free Data Structures. CoRR (2022)
Kyeongmin Cho, Sung Hwan Lee, Azalea Raad, Jeehoon Kang
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. PLDI (2021)
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
CompCertM: CompCert with C-assembly linking and lightweight modular verification. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jeehoon Kang, Jaehwang Jung
A marriage of pointer- and epoch-based reclamation. PLDI (2020)
Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer
Stacked borrows: an aliasing model for Rust. Proc. ACM Program. Lang. 4 (POPL) (2020)
Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System. PLOS@SOSP (2019)
Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung Hwan Lee, Chung-Kil Hur
Promising-ARM/RISC-V: a simpler and faster operational concurrency model. PLDI (2019)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
A promising semantics for relaxed-memory concurrency. POPL (2017)
Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer
Repairing sequential consistency in C/C++11. PLDI (2017)
Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis
Lightweight verification of separate compilation. POPL (2016)
Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis
A formal C memory model supporting integer-pointer casts. PLDI (2015)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36 (3) (2014)
Jeehoon Kang, Suh-Ryung Kim, Boram Park
A Dice Rolling Game on a Set of Tori. Electron. J. Comb. 19 (1) (2012)