Juneyoung Lee

Logo

View My GitHub Profile

Publications

  1. SMT-based Translation Validation for Machine Learning Compiler.
    S. Bang, S. Nam, I. Chun, H. Y. Jhoo, J. Lee. CAV 2022. (link, repo)

  2. An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation.
    J. Lee, D. Kim, C-K. Hur, N. P. Lopes. CAV 2021. (link)

  3. Alive2: Bounded Translation Validation for LLVM.
    N. P. Lopes, J. Lee, C-Kil. Hur, Z. Liu, J. Regehr. PLDI 2021. (link). Recipient of Distinguished Paper Award.

  4. AliveInLean: A Verified LLVM Peephole Optimization Verifier.
    J. Lee, C-K. Hur, N. P. Lopes. CAV 2019, Tool Paper. (link)

  5. Reconciling High-level Optimizations and Low-level Code in LLVM.
    J. Lee, C-K. Hur, R. Jung, Z. Liu, J. Regehr, N. P. Lopes. OOPSLA 2018. (link)

  6. Crellvm: Verified Credible Compilation for LLVM.
    J. Kang*, Y. Kim*, Y. Song*, J. Lee, S. Park, M. D. Shin, Y. Kim, S. Cho, J. Choi, C-K. Hur, K. Yi. PLDI 2018. (link)

  7. Taming Undefined Behavior in LLVM.
    J. Lee, Y. Kim, Y. Song, C-K. Hur, S. Das, D. Majnemer, J. Regehr, N. P. Lopes. PLDI 2017. (link)

  8. DualSim: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine.
    H. Kim, J. Lee, S. S. Bhowmick, W-S. Han, J. Lee, S. Ko, and M. H.A. Jarrah. SIGMOD 2016. (link)