Juneyoung Lee

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Weighted Number Of Tardy Jobs

High Level Abstractions

Homomorphic Encryption

Weighted Tardiness

Top Venues

Proc. ACM Program. Lang.

SIGMOD Conference

Publications

Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
Translation Validation for JIT Compiler in the V8 JavaScript Engine. ICSE (2024)
Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, Juneyoung Lee
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee
SMT-Based Translation Validation for Machine Learning Compiler. CAV (2) (2022)
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
Alive2: bounded translation validation for LLVM. PLDI (2021)
Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. CAV (2) (2021)
Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
AliveInLean: A Verified LLVM Peephole Optimization Verifier. CAV (2) (2019)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
Reconciling high-level optimizations and low-level code in LLVM. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
Taming undefined behavior in LLVM. PLDI (2017)
Hyeonji Kim, Juneyoung Lee, Sourav S. Bhowmick, Wook-Shin Han, Jeong-Hoon Lee, Seongyun Ko, Moath H. A. Jarrah
DUALSIM: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine. SIGMOD Conference (2016)
Juneyoung Lee, André I. Khuri, KeeWhan Kim
Modeling the coverage probability of a confidence interval on the among-group variance component in the unbalanced random one-way model. Comput. Stat. 20 (2) (2005)