Jeehoon Kang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation. | Jaehyeong Park, Youngchan Kim, Haechan An, Gieun Jeong, Jeehoon Kang, Dongsu Han |
| 2026 | EuroSys | CofferOS: Hardening OS-level Virtualization with Rust. | Minkyu Jung, Chanshin Kwak, Junho Ahn, Sunho Park, Changjun Lee, Jongyul Kim, Jeehoon Kang, Youngjin Kwon |
| 2025 | MICRO | PyTorchSim: A Comprehensive, Fast, and Accurate NPU Simulation Framework. | Wonhyuk Yang, Yunseon Shin, Okkyun Woo, Geonwoo Park, Hyungkyu Ham, Jeehoon Kang, Jongse Park, Gwangsun Kim |
| 2025 | PLOS | Compositional Model-Driven Verification of Weakly Consistent Distributed Systems. | Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin |
| 2025 | SOSP | Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation. | Jonguk Jeon, Subeen Park, Sanidhya Kashyap, Sudarsun Kannan, Diyu Zhou, Jeehoon Kang |
| 2025 | SOSP | Scalable Address Spaces using Concurrent Interval Skiplist. | Tae Woo Kim, Youngjin Kwon, Jeehoon Kang |
| 2024 | SPAA | Expediting Hazard Pointers with Bounded RCU Critical Sections. | Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang |
| 2023 | ASPLOS | ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators. | Sungsoo Han, Minseong Jang, Jeehoon Kang |
| 2023 | SPAA | Applying Hazard Pointers to More Concurrent Data Structures. | Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang |
| 2022 | PLDI | 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 |
| 2021 | PLDI | Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. | Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang |
| 2020 | PLDI | A marriage of pointer- and epoch-based reclamation. | Jeehoon Kang, Jaehwang Jung |
| 2019 | PLDI | Promising-ARM/RISC-V: a simpler and faster operational concurrency model. | Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur |
| 2019 | SOSP | Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System. | Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon |
| 2018 | PLDI | 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 |
| 2017 | PLDI | Repairing sequential consistency in C/C++11. | Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer |
| 2017 | POPL | A promising semantics for relaxed-memory concurrency. | Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer |
| 2016 | POPL | Lightweight verification of separate compilation. | Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2015 | PLDI | A formal C memory model supporting integer-pointer casts. | Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |