Juneyoung Lee
Juneyoung Lee
Automated Reasoning Group, AWS
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
AliveInLean: a verified LLVM peephole optimization verifier
J Lee, CK Hur, NP Lopes
International Conference on Computer Aided Verification, 445-455, 2019
An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation
J Lee, D Kim, CK Hur, NP Lopes
International Conference on Computer Aided Verification, 752-776, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–8