Author Info
Name
Affiliation
Papers
YOUNGJU SONG
Seoul National University, South Korea
3
Collaborators
Citations 
PageRank 
17
11
1.24
Referers 
Referees 
References 
59
107
40
Search Limit
100107
Title
Citations
PageRank
Year
CompCertM: CompCert with C-assembly linking and lightweight modular verification00.342020
Crellvm: verified credible compilation for LLVM.20.372018
Taming undefined behavior in LLVM.90.542017