Seguir
Jeehoon Kang
Jeehoon Kang
Assistant Professor of KAIST School of Computing
Dirección de correo verificada de kaist.ac.kr - Página principal
Título
Citado por
Citado por
Año
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
2192017
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
2062017
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
712016
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
702019
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
672015
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
502019
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
382018
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
362019
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
292014
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
242021
Simuliris: a separation logic framework for verifying concurrent program optimizations
L Gäher, M Sammler, S Spies, R Jung, HH Dang, R Krebbers, J Kang, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
232022
Compass: strong and compositional library specifications in relaxed memory separation logic
HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
202022
A marriage of pointer-and epoch-based reclamation
J Kang, J Jung
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
172020
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
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators
S Han, M Jang, J Kang
Proceedings of the 28th ACM International Conference on Architectural …, 2023
32023
Practical detectability for persistent lock-free data structures
K Cho, S Jeon, J Kang
arXiv preprint arXiv:2203.07621, 2022
32022
Reconciling low-level features of C with compiler optimizations
J Kang
Ph. D. Dissertation. Seoul National University, 2019
32019
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
Applying hazard pointers to more concurrent data structures
J Jung, J Lee, J Kim, J Kang
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and …, 2023
22023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20