Juneyoung Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Relational Hoare Logic for Realistically Modelled Machine Code. | Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu |
| 2024 | ICSE | Translation Validation for JIT Compiler in the V8 JavaScript Engine. | Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo |
| 2022 | CAV | SMT-Based Translation Validation for Machine Learning Compiler. | Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee |
| 2021 | CAV | An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. | Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes |
| 2021 | PLDI | Alive2: bounded translation validation for LLVM. | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2019 | CAV | AliveInLean: A Verified LLVM Peephole Optimization Verifier. | Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes |
| 2018 | PLDI | 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 |
| 2017 | PLDI | Taming undefined behavior in LLVM. | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
| 2016 | SIGMOD | 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 |