Jeehoon Kang
Scholar

Jeehoon Kang

Google Scholar ID: rVgfdSYAAAAJ
KAIST School of Computing
concurrencyparallelismcompilerverification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,321
 
H-index
15
 
i10-index
17
 
Publications
20
 
Co-authors
37
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
37 total
Co-author 1
Co-author 1
Derek Dreyer
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Co-author 3
Co-author 3
Kwangkeun Yi
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Ori Lahav
Ori Lahav
Tel Aviv University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8