Modeling the coverage probability of a confidence interval on the among-group variance component in the unbalanced random one-way model. - Juneyoung Lee; André I. Khuri; KeeWhan Kim (Comput. Stat., 2005)

DUALSIM: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine. - Hyeonji Kim; Juneyoung Lee; Sourav S. Bhowmick; Wook-Shin Han; Jeong-Hoon Lee 004; Seongyun Ko; Moath H. A. Jarrah (SIGMOD Conference, 2016)

Taming undefined behavior in LLVM. - Juneyoung Lee; Yoonseung Kim; Youngju Song; Chung-Kil Hur; Sanjoy Das; David Majnemer; John Regehr; Nuno P. Lopes (PLDI, 2017)

Crellvm: verified credible compilation for LLVM. - Jeehoon Kang; Yoonseung Kim; Youngju Song; Juneyoung Lee; Sanghoon Park; Mark Dongyeon Shin; Yonghyun Kim; Sungkeun Cho; Joonwon Choi; Chung-Kil Hur; Kwangkeun Yi (PLDI, 2018)

Reconciling high-level optimizations and low-level code in LLVM. - Juneyoung Lee; Chung-Kil Hur; Ralf Jung 002; Zhengyang Liu 003; John Regehr; Nuno P. Lopes (Proc. ACM Program. Lang., 2018)

AliveInLean: A Verified LLVM Peephole Optimization Verifier. - Juneyoung Lee; Chung-Kil Hur; Nuno P. Lopes (CAV (2), 2019)

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. - Juneyoung Lee; Dongjoo Kim; Chung-Kil Hur; Nuno P. Lopes (CAV (2), 2021)

Alive2: bounded translation validation for LLVM. - Nuno P. Lopes; Juneyoung Lee; Chung-Kil Hur; Zhengyang Liu 003; John Regehr (PLDI, 2021)

SMT-Based Translation Validation for Machine Learning Compiler. - Seongwon Bang; Seunghyeon Nam; Inwhan Chun; Ho Young Jhoo; Juneyoung Lee (CAV (2), 2022)

HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption. - Sunjae Park; Woosung Song; Seunghyeon Nam; Hyeongyu Kim; Junbum Shin; Juneyoung Lee (Proc. ACM Program. Lang., 2023)

Translation Validation for JIT Compiler in the V8 JavaScript Engine. - Seungwan Kwon; Jaeseong Kwon; Wooseok Kang; Juneyoung Lee; Kihong Heo (ICSE, 2024)

Relational Hoare Logic for Realistically Modelled Machine Code. - Denis Mazzucato; Abdalrhman Mohamed; Juneyoung Lee; Clark W. Barrett; Jim Grundy; John Harrison; Corina S. Pasareanu (CAV (1), 2025)

Optimization-Directed Compiler Fuzzing for Continuous Translation Validation. - Jaeseong Kwon; Bongjun Jang; Juneyoung Lee; Kihong Heo (Proc. ACM Program. Lang., 2025)