Juneyoung Lee

According to our database1, Juneyoung Lee authored at least 8 papers between 2005 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...