Juneyoung Lee

Logo

View My GitHub Profile

Publications

  1. A Validated Semantics for LLVM IR. Ph.D. Thesis. (link)

  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)