Juneyoung Lee

15 papers A* 4Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs.
CoRR
Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi
2025 J jnl
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation.
Proc. ACM Program. Lang.
Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, Kihong Heo
2025 — conf
Relational Hoare Logic for Realistically Modelled Machine Code.
CAV (1)
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2025 J jnl
Relational Hoare Logic for Realistically Modelled Machine Code.
CoRR
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2024 A* conf
Translation Validation for JIT Compiler in the V8 JavaScript Engine.
ICSE
Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
2023 J jnl
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption.
Proc. ACM Program. Lang.
Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, Juneyoung Lee
2022 — conf
SMT-Based Translation Validation for Machine Learning Compiler.
CAV (2)
Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee
2021 A* conf
Alive2: bounded translation validation for LLVM.
PLDI
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
2021 — conf
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.
CAV (2)
Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes
2019 — conf
AliveInLean: A Verified LLVM Peephole Optimization Verifier.
CAV (2)
Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
2018 A* conf
Crellvm: verified credible compilation for LLVM.
PLDI
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
2018 J jnl
Reconciling high-level optimizations and low-level code in LLVM.
Proc. ACM Program. Lang.
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
2017 A* conf
Taming undefined behavior in LLVM.
PLDI
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
2016 — conf
DUALSIM: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine.
SIGMOD Conference
Hyeonji Kim, Juneyoung Lee, Sourav S. Bhowmick, Wook-Shin Han, Jeong-Hoon Lee, Seongyun Ko, Moath H. A. Jarrah
2005 J jnl
Modeling the coverage probability of a confidence interval on the among-group variance component in the unbalanced random one-way model.
Comput. Stat.
Juneyoung Lee, André I. Khuri, KeeWhan Kim