S-Space

Browse

Author

Showing results 1 to 2 of 2

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2018-11	Reconciling high-level optimizations and low-level code in LLVM Lee, Juneyoung; Hur, Chung-Kil; Jung, Ralf; Liu, Zhengyang; Regehr, John; Lopes, Nuno P. Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA	DOI
2021-06	Alive2: Bounded translation validation for LLVM Lopes, Nuno P.; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.65-79	DOI