Følg
Jeehoon Kang
Jeehoon Kang
KAIST School of Computing
Verifisert e-postadresse på kaist.ac.kr - Startside
Tittel
Sitert av
Sitert av
År
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
2602017
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
2422017
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
1052019
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
792016
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
792015
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
652019
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
472019
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
452018
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
382021
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
332022
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
302022
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
A marriage of pointer-and epoch-based reclamation
J Kang, J Jung
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
252020
Modular verification of safe memory reclamation in concurrent separation logic
J Jung, J Lee, J Choi, J Kim, S Park, J Kang
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 828-856, 2023
112023
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
92023
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
62023
Memento: A framework for detectable recoverability in persistent memory
K Cho, S Jeon, A Raad, J Kang
Proceedings of the ACM on Programming Languages 7 (PLDI), 292-317, 2023
42023
Reconciling low-level features of C with compiler optimizations
J Kang
Ph. D. Dissertation. Seoul National University, 2019
42019
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
Expediting Hazard Pointers with Bounded RCU Critical Sections
J Kim, J Jung, J Kang
Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and …, 2024
32024
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20