Follow
Juneyoung(June) Lee
Juneyoung(June) Lee
Automated Reasoning Group, AWS
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
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
762016
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
752017
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
652021
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
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
35*2018
AliveInLean: a verified LLVM peephole optimization verifier
J Lee, CK Hur, NP Lopes
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
112019
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
92021
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
72022
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
2023
The system can't perform the operation now. Try again later.
Articles 1–9