Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Juneyoung Lee
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2021 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2018 profile
Registered user since Wed 3 May 2017
Name:
Juneyoung Lee
Affiliation:
Seoul National University
Personal website:
https://sf.snu.ac.kr/juneyoung.lee
Contributions
2021
PLDI
Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
2018
SPLASH
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track
PLDI
Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
2017
PLDI
Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
Share
x
Tue 5 Nov 15:25