Jeehoon Kang

39 papers A* 12A 1B 2Journal 19Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A conf
CofferOS: Hardening OS-level Virtualization with Rust.
EuroSys
Minkyu Jung, Chanshin Kwak, Junho Ahn, Sunho Park, Changjun Lee, Jongyul Kim, Jeehoon Kang, Youngjin Kwon
2026 — conf
Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation.
ASPLOS (2)
Jaehyeong Park, Youngchan Kim, Haechan An, Gieun Jeong, Jeehoon Kang, Dongsu Han
2025 A* conf
Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation.
SOSP
Jonguk Jeon, Subeen Park, Sanidhya Kashyap, Sudarsun Kannan, Diyu Zhou, Jeehoon Kang
2025 — conf
Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.
PLOS@SOSP
Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin
2025 J jnl
Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals.
Proc. ACM Program. Lang.
Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
2025 J jnl
Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness.
Proc. ACM Program. Lang.
Dongjae Lee, Janggun Lee, TaeYoung Yoon, Minki Cho, Jeehoon Kang, Chung-Kil Hur
2025 A* conf
PyTorchSim: A Comprehensive, Fast, and Accurate NPU Simulation Framework.
MICRO
Wonhyuk Yang, Yunseon Shin, Okkyun Woo, Geonwoo Park, Hyungkyu Ham, Jeehoon Kang, Jongse Park, Gwangsun Kim
2025 J jnl
Revamping Verilog Semantics for Foundational Verification.
Proc. ACM Program. Lang.
Joonwon Choi, Jaewoo Kim, Jeehoon Kang
2025 A* conf
Scalable Address Spaces using Concurrent Interval Skiplist.
SOSP
Tae Woo Kim, Youngjin Kwon, Jeehoon Kang
2025 J jnl
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Jaehwang Jung, Sunho Park, Janggun Lee, Jeho Yeon, Jeehoon Kang
2025 J jnl
Verifying Lock-Free Traversals in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Sunho Park, Jaehwang Jung, Janggun Lee, Jeehoon Kang
2024 J jnl
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.
Proc. ACM Program. Lang.
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang
2024 — conf
Concurrent Immediate Reference Counting (Abstract).
HOPC@SPAA
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
2024 J jnl
Concurrent Immediate Reference Counting.
Proc. ACM Program. Lang.
Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang
2024 B conf
Expediting Hazard Pointers with Bounded RCU Critical Sections.
SPAA
Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang
2024 J jnl
Modular Hardware Design of Pipelined Circuits with Hazards.
Proc. ACM Program. Lang.
Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, Jeehoon Kang
2024 J jnl
Quantum Probabilistic Model Checking for Time-Bounded Properties.
Proc. ACM Program. Lang.
Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang
2023 B conf
Applying Hazard Pointers to More Concurrent Data Structures.
SPAA
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
2023 J jnl
Memento: A Framework for Detectable Recoverability in Persistent Memory.
Proc. ACM Program. Lang.
Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang
2023 J jnl
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Proc. ACM Program. Lang.
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
2023 — conf
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators.
ASPLOS (2)
Sungsoo Han, Minseong Jang, Jeehoon Kang
2022 A* conf
Compass: strong and compositional library specifications in relaxed memory separation logic.
PLDI
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
2022 J jnl
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Inf. Softw. Technol.
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2022 J jnl
Forecasting Obsolescence of Components by Using a Clustering-Based Hybrid Machine-Learning Algorithm.
Sensors
Kyoung-Sook Moon, Hee Won Lee, Hee Jean Kim, Hongjoong Kim, Jeehoon Kang, Won Chul Paik
2022 J jnl
Practical Detectability for Persistent Lock-Free Data Structures.
CoRR
Kyeongmin Cho, Seungmin Jeon, Jeehoon Kang
2022 J jnl
Simuliris: a separation logic framework for verifying concurrent program optimizations.
Proc. ACM Program. Lang.
Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
2021 A* conf
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.
PLDI
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang
2020 A* conf
A marriage of pointer- and epoch-based reclamation.
PLDI
Jeehoon Kang, Jaehwang Jung
2020 J jnl
CompCertM: CompCert with C-assembly linking and lightweight modular verification.
Proc. ACM Program. Lang.
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
2020 J jnl
Stacked borrows: an aliasing model for Rust.
Proc. ACM Program. Lang.
Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer
2019 — conf
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System.
PLOS@SOSP
Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon
2019 A* conf
Promising-ARM/RISC-V: a simpler and faster operational concurrency model.
PLDI
Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur
2018 A* conf
Crellvm: verified credible compilation for LLVM.
PLDI
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
2017 A* conf
A promising semantics for relaxed-memory concurrency.
POPL
Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
2017 A* conf
Repairing sequential consistency in C/C++11.
PLDI
Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer
2016 A* conf
Lightweight verification of separate compilation.
POPL
Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis
2015 A* conf
A formal C memory model supporting integer-pointer casts.
PLDI
Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis
2014 J jnl
Global Sparse Analysis Framework.
ACM Trans. Program. Lang. Syst.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2012 J jnl
A Dice Rolling Game on a Set of Tori.
Electron. J. Comb.
Jeehoon Kang, Suh-Ryung Kim, Boram Park