Jeehoon Kang
Jeehoon Kang
Assistant Professor of KAIST School of Computing
Verified email at kaist.ac.kr - Homepage
Title
Cited by
Cited by
Year
Repairing sequential consistency in C/C++ 11
O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer
ACM SIGPLAN Notices 52 (6), 618-632, 2017
1292017
A promising semantics for relaxed-memory concurrency
J Kang, CK Hur, O Lahav, V Vafeiadis, D Dreyer
ACM SIGPLAN Notices 52 (1), 175-189, 2017
1232017
A formal C memory model supporting integer-pointer casts
J Kang, CK Hur, W Mansky, D Garbuzov, S Zdancewic, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 326-335, 2015
512015
Lightweight verification of separate compilation
J Kang, Y Kim, CK Hur, D Dreyer, V Vafeiadis
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
482016
Global sparse analysis framework
H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-44, 2014
242014
Promising-ARM/RISC-V: a simpler and faster operational concurrency model
C Pulte, J Pichon-Pharabod, J Kang, SH Lee, CK Hur
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
212019
Stacked borrows: an aliasing model for Rust
R Jung, HH Dang, J Kang, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
162019
Crellvm: verified credible compilation for LLVM
J Kang, Y Kim, Y Song, J Lee, S Park, MD Shin, Y Kim, S Cho, J Choi, ...
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
162018
CompCertM: CompCert with C-assembly linking and lightweight modular verification
Y Song, M Cho, D Kim, Y Kim, J Kang, CK Hur
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
82019
A marriage of pointer-and epoch-based reclamation
J Kang, J Jung
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
52020
Repairing sequential consistency in C
O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer
C++ 11. Technical Report MPI-SWS-2016-011, MPI-SWS, 2016
42016
Towards Scalable Translation Validation of Static Analyzers
J Kang, S Cho, J Choi, CK Hur, K Yi
32014
Unstaging translation from metaml-like multi-staged calculus to context calculus
J Choi, J Kang, D Park, K Yi
Tech. Rep. ROSAEC-2012-015, ROSAEC Center, Seoul National University (Mar …, 2012
32012
Method for analysing program code of electronic device and electronic device
J Park, D Kang, J Kang, Y Hwang, K Yi
US Patent 9,773,114, 2017
22017
Encrypted Execution
D Park, J Kang, K Heo, S Cho, Y Yoon, K Yi
Research on software analysis for error-free computing ROSAEC MEMO, 2014
22014
A dice rolling game on a set of tori
J Kang, SR Kim, B Park
the electronic journal of combinatorics, P54-P54, 2012
12012
SparrowBerry: A verified validator for an industrial-strength static analyzer
S Cho, J Kang, J Choi, K Yi
1
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
K Cho, SH Lee, A Raad, J Kang
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
2021
Revamping Hardware Persistency Models
K Cho, A Raad
2021
CompCertM: CompCert with Lightweight Modular Verification and Multi-Language Linking
Y Song, M Cho, D Kim, Y Kim, J Kang, CK Hur
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20