I agree that this site is using cookies. You can find further informations here.
X
Song, Youngju
3  results:
Bookchapter (Online) X
Search for persons X
?
1

Crellvm: verified credible compilation for LLVM:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Kang, Jeehoon ; Kim, Yoonseung ; Song, Youngju... - p. 631-645 , 2018
Link: https://dl.acm.org/doi/1..
 
?
2

Taming undefined behavior in LLVM:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Lee, Juneyoung ; Kim, Yoonseung ; Song, Youngju... - p. 633-647 , 2017
Link: https://dl.acm.org/doi/1..
 
?
3

Effects of Taurine Supplementation on Vascular Endothelial ..:

, In: Advances in Experimental Medicine and Biology; Taurine 11,
Ra, Song-Gyu ; Choi, Youngju ; Akazawa, Nobuhiko... - p. 407-414 , 2019
Link: https://doi.org/10.1007/..
 
1-3