| 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 | 240 | 2017 |
| 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 | 231 | 2017 |
| 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 | 90 | 2019 |
| 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 | 75 | 2016 |
| 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 | 71 | 2015 |
| 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 | 56 | 2019 |
| 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 | 40 | 2019 |
| 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 | 40 | 2018 |
| 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 | 31 | 2021 |
| 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 | 29 | 2014 |
| 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 | 27 | 2022 |
| 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 | 23 | 2022 |
| A marriage of pointer-and epoch-based reclamation J Kang, J Jung Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 21 | 2020 |
| 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 | 5 | 2023 |
| 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 | 5 | 2023 |
| 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 | 5 | 2023 |
| 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 | 4 | 2016 |
| Practical detectability for persistent lock-free data structures K Cho, S Jeon, J Kang arXiv preprint arXiv:2203.07621, 2022 | 3 | 2022 |
| Reconciling low-level features of C with compiler optimizations J Kang Ph. D. Dissertation. Seoul National University, 2019 | 3 | 2019 |
| 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 | 3 | 2012 |
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
