Jeehoon Kang

According to our database, Jeehoon Kang authored at least 28 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.

Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Concurrent Immediate Reference Counting.

Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Quantum Probabilistic Model Checking for Time-Bounded Properties.

Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Modular Hardware Design of Pipelined Circuits with Hazards.

Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Expediting Hazard Pointers with Bounded RCU Critical Sections.

Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

Concurrent Immediate Reference Counting (Abstract).

Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

2023

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.

Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang

Proc. ACM Program. Lang., October, 2023

Memento: A Framework for Detectable Recoverability in Persistent Memory.

Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang

Proc. ACM Program. Lang., 2023

Applying Hazard Pointers to More Concurrent Data Structures.

Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators.

Sungsoo Han, Minseong Jang, Jeehoon Kang

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Forecasting Obsolescence of Components by Using a Clustering-Based Hybrid Machine-Learning Algorithm.

Kyoung-Sook Moon, Hee Won Lee, Hee Jean Kim, Hongjoong Kim, Jeehoon Kang, Won Chul Paik

Sensors, 2022

Simuliris: a separation logic framework for verifying concurrent program optimizations.

Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer

Proc. ACM Program. Lang., 2022

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.

Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae

Inf. Softw. Technol., 2022

Practical Detectability for Persistent Lock-Free Data Structures.

Kyeongmin Cho, Seungmin Jeon, Jeehoon Kang

CoRR, 2022

Compass: strong and compositional library specifications in relaxed memory separation logic.

Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.

Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

CompCertM: CompCert with C-assembly linking and lightweight modular verification.

Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur

Proc. ACM Program. Lang., 2020

Stacked borrows: an aliasing model for Rust.

Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer

Proc. ACM Program. Lang., 2020

A marriage of pointer- and epoch-based reclamation.

Jeehoon Kang, Jaehwang Jung

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System.

Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Promising-ARM/RISC-V: a simpler and faster operational concurrency model.

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Crellvm: verified credible compilation for LLVM.

Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

A promising semantics for relaxed-memory concurrency.

Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Repairing sequential consistency in C/C++11.

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Lightweight verification of separate compilation.

Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

A formal C memory model supporting integer-pointer casts.

Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014

2012

A Dice Rolling Game on a Set of Tori.

Jeehoon Kang, Suh-Ryung Kim, Boram Park

Electron. J. Comb., 2012