Scholar
Jeehoon Kang
Google Scholar ID: rVgfdSYAAAAJ
KAIST School of Computing
concurrency
parallelism
compiler
verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,321
H-index
15
i10-index
17
Publications
20
Co-authors
37
list available
Publications
2 items
Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
2026
Cited
0
High-Level Synthesis of Efficient Pipelines with Visibility Control
2026
Cited
0
Co-authors
7 total
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Ori Lahav
Tel Aviv University
William Mansky
Assistant Professor, University of Illinois at Chicago
Youngju Song
Postdoc, MPI-SWS
Azalea Raad
Imperial College London
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
