Juneyoung Lee

Orcid: 0000-0002-8152-9330

According to our database1, Juneyoung Lee authored at least 11 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Translation Validation for JIT Compiler in the V8 JavaScript Engine.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption.
Proc. ACM Program. Lang., 2023

2022
SMT-Based Translation Validation for Machine Learning Compiler.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Alive2: bounded translation validation for LLVM.
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.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019
AliveInLean: A Verified LLVM Peephole Optimization Verifier.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Reconciling high-level optimizations and low-level code in LLVM.
Proc. ACM Program. Lang., 2018

Crellvm: verified credible compilation for LLVM.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Taming undefined behavior in LLVM.
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.
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.
Comput. Stat., 2005


  Loading...