SNU Open Repository and Archive: Browsing S-Space

Showing results 1 to 4 of 4

Issue Date	Title / Author(s) / Citation	File
2011-02	LLVM에서의 Partial Inlining 최적화 김재진	link
2018-02	Verified Translation Validation For Register Promotion in LLVM 박상훈	view file
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
2019-01	AliveInLean: A verified LLVM peephole optimization verifier Lee, Juneyoung; Hur, Chung-Kil; Lopes, Nuno P. Lecture Notes in Computer Science, Vol.11562 LNCS, pp.445-455	DOI