Juneyoung Lee

According to our database, Juneyoung Lee authored at least 10 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2022

SMT-Based Translation Validation for Machine Learning Compiler.

Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Alive2: bounded translation validation for LLVM.

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.

Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

AliveInLean: A Verified LLVM Peephole Optimization Verifier.

Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reconciling high-level optimizations and low-level code in LLVM.

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes

Proc. ACM Program. Lang., 2018

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Taming undefined behavior in LLVM.

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

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, Seongyun Ko, Moath H. A. Jarrah

Proceedings of the 2016 International Conference on Management of Data, 2016

2005

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