| Alive2: bounded translation validation for LLVM NP Lopes, J Lee, CK Hur, Z Liu, J Regehr Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 94 | 2021 |
| Taming undefined behavior in LLVM J Lee, Y Kim, Y Song, CK Hur, S Das, D Majnemer, J Regehr, NP Lopes ACM SIGPLAN Notices 52 (6), 633-647, 2017 | 88 | 2017 |
| Dualsim: Parallel subgraph enumeration in a massive graph on a single machine H Kim, J Lee, SS Bhowmick, WS Han, JH Lee, S Ko, MHA Jarrah Proceedings of the 2016 International Conference on Management of Data, 1231 …, 2016 | 84 | 2016 |
| 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 |
| Reconciling high-level optimizations and low-level code in LLVM J Lee, CK Hur, R Jung, Z Liu, J Regehr, NP Lopes Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 37 | 2018 |
| Smt-based translation validation for machine learning compiler S Bang, S Nam, I Chun, HY Jhoo, J Lee International Conference on Computer Aided Verification, 386-407, 2022 | 16 | 2022 |
| AliveInLean: a verified LLVM peephole optimization verifier J Lee, CK Hur, NP Lopes Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 14 | 2019 |
| An SMT encoding of LLVM’s memory model for bounded translation validation J Lee, D Kim, CK Hur, NP Lopes Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 12 | 2021 |
| Heaan. mlir: An optimizing compiler for fast ring-based homomorphic encryption S Park, W Song, S Nam, H Kim, J Shin, J Lee Proceedings of the ACM on Programming Languages 7 (PLDI), 196-220, 2023 | 4 | 2023 |
| Translation Validation for JIT Compiler in the V8 JavaScript Engine S Kwon, J Kwon, W Kang, J Lee, K Heo Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
