Collaborated with:C.Hur N.P.Lopes J.Regehr Yoonseung Kim Youngju Song R.J.0002 Zhengyang Liu S.Das David Majnemer J.Kang Sanghoon Park Mark Dongyeon Shin Yonghyun Kim S.Cho Joonwon Choi K.Yi
Talks about:llvm (4) verifi (3) optim (2) level (2) reconcil (1) behavior (1) undefin (1) peephol (1) crellvm (1) credibl (1)
Person: Juneyoung Lee
DBLP: Lee:Juneyoung
Contributed to:
2019
2018
20172018Wrote 4 papers:
- CAV-2019-LeeHL #named #optimisation #verification
- AliveInLean: A Verified LLVM Peephole Optimization Verifier (JL, CKH, NPL), pp. 445–455.
- OOPSLA-2018-LeeHJLRL #low level #optimisation
- Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.
- PLDI-2017-LeeKSHDMRL #behaviour
- Taming undefined behavior in LLVM (JL, YK, YS, CKH, SD, DM, JR, NPL), pp. 633–647.
- PLDI-2018-KangKSLPSKCCHY #compilation #named
- Crellvm: verified credible compilation for LLVM (JK, YK, YS, JL, SP, MDS, YK, SC, JC, CKH, KY), pp. 631–645.