Jeehoon Kang

819 total citations
33 papers, 442 citations indexed

About

Jeehoon Kang is a scholar working on Computer Networks and Communications, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, Jeehoon Kang has authored 33 papers receiving a total of 442 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Computer Networks and Communications, 22 papers in Artificial Intelligence and 19 papers in Hardware and Architecture. Recurrent topics in Jeehoon Kang's work include Distributed systems and fault tolerance (20 papers), Parallel Computing and Optimization Techniques (18 papers) and Security and Verification in Computing (16 papers). Jeehoon Kang is often cited by papers focused on Distributed systems and fault tolerance (20 papers), Parallel Computing and Optimization Techniques (18 papers) and Security and Verification in Computing (16 papers). Jeehoon Kang collaborates with scholars based in South Korea, Germany and United States. Jeehoon Kang's co-authors include Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis, Ori Lahav, Ralf Jung, JaeHwang Jung, Steve Zdancewic, Yonghyun Kim, Christopher Pulte and Jean Pichon-Pharabod and has published in prestigious journals such as Information and Software Technology, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Jeehoon Kang

31 papers receiving 434 citations

Peers

Jeehoon Kang
Tjark Weber United Kingdom
Jade Alglave United Kingdom
Leonid Ryzhyk Australia
Tahina Ramananandro United States
Marc Feeley Canada
Joseph Tassarotti United States
Tej Chajed United States
Alexey Gotsman Spain
Sigmund Cherem United States
Massimiliano Poletto United States
Tjark Weber United Kingdom
Jeehoon Kang
Citations per year, relative to Jeehoon Kang Jeehoon Kang (= 1×) peers Tjark Weber

Countries citing papers authored by Jeehoon Kang

Since Specialization
Citations

This map shows the geographic impact of Jeehoon Kang's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jeehoon Kang with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jeehoon Kang more than expected).

Fields of papers citing papers by Jeehoon Kang

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jeehoon Kang. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jeehoon Kang. The network helps show where Jeehoon Kang may publish in the future.

Co-authorship network of co-authors of Jeehoon Kang

This figure shows the co-authorship network connecting the top 25 collaborators of Jeehoon Kang. A scholar is included among the top collaborators of Jeehoon Kang based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jeehoon Kang. Jeehoon Kang is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Yoon, Tae‐Hoon, et al.. (2025). Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness. Proceedings of the ACM on Programming Languages. 9(OOPSLA1). 1267–1294. 1 indexed citations
3.
Kang, Jeehoon, et al.. (2024). Modular Hardware Design of Pipelined Circuits with Hazards. Proceedings of the ACM on Programming Languages. 8(PLDI). 28–51. 1 indexed citations
4.
Kang, Jeehoon, et al.. (2024). Expediting Hazard Pointers with Bounded RCU Critical Sections. 1–13. 2 indexed citations
5.
Oh, Hakjoo, et al.. (2024). Quantum Probabilistic Model Checking for Time-Bounded Properties. Proceedings of the ACM on Programming Languages. 8(OOPSLA2). 557–587. 1 indexed citations
6.
Raad, Azalea, et al.. (2023). Memento: A Framework for Detectable Recoverability in Persistent Memory. Proceedings of the ACM on Programming Languages. 7(PLDI). 292–317. 2 indexed citations
7.
Kang, Jeehoon, et al.. (2023). Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 828–856. 3 indexed citations
8.
Jung, Ralf, et al.. (2022). Simuliris: a separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 6(POPL). 1–31. 18 indexed citations
9.
Jung, JaeHwang, et al.. (2022). Compass: strong and compositional library specifications in relaxed memory separation logic. 792–808. 13 indexed citations
10.
Kang, Jeehoon & JaeHwang Jung. (2020). A marriage of pointer- and epoch-based reclamation. 314–328. 16 indexed citations
11.
Jung, Ralf, et al.. (2019). Stacked Borrows: An Aliasing Model for Rust -- Artifact. Figshare. 1 indexed citations
12.
Jung, Ralf, et al.. (2019). Stacked borrows: an aliasing model for Rust. Proceedings of the ACM on Programming Languages. 4(POPL). 1–32. 36 indexed citations
13.
Pulte, Christopher, et al.. (2019). Promising-ARM/RISC-V: a simpler and faster operational concurrency model. Seoul National University Open Repository (Seoul National University). 1–15. 22 indexed citations
14.
Kang, Jeehoon, Juneyoung Lee, Sanghoon Park, et al.. (2018). Crellvm: verified credible compilation for LLVM. 631–645. 13 indexed citations
15.
Lahav, Ori, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, & Derek Dreyer. (2017). Repairing sequential consistency in C/C++11. ACM SIGPLAN Notices. 52(6). 618–632. 7 indexed citations
16.
Kang, Jeehoon, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, & Derek Dreyer. (2017). A promising semantics for relaxed-memory concurrency. ACM SIGPLAN Notices. 52(1). 175–189. 21 indexed citations
17.
Kang, Jeehoon, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, & Derek Dreyer. (2016). A promising semantics for relaxed-memory concurrency. 175–189. 72 indexed citations
18.
Kang, Jeehoon, et al.. (2016). Lightweight verification of separate compilation. ACM SIGPLAN Notices. 51(1). 178–190. 5 indexed citations
19.
Kang, Jeehoon, et al.. (2015). A formal C memory model supporting integer-pointer casts. 326–335. 28 indexed citations
20.
Oh, Hakjoo, Kihong Heo, Wonchan Lee, et al.. (2014). Global Sparse Analysis Framework. ACM Transactions on Programming Languages and Systems. 36(3). 1–44. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Tjark Weber Breakdown of academic impact, for papers by Jade Alglave Breakdown of academic impact, for papers by Leonid Ryzhyk Breakdown of academic impact, for papers by Tahina Ramananandro Breakdown of academic impact, for papers by Marc Feeley Breakdown of academic impact, for papers by Joseph Tassarotti Breakdown of academic impact, for papers by Tej Chajed Breakdown of academic impact, for papers by Alexey Gotsman Breakdown of academic impact, for papers by Sigmund Cherem Breakdown of academic impact, for papers by Massimiliano Poletto
Rankless by CCL
2026