Author Info
Name
Affiliation
Papers
YOONSEUNG KIM
Seoul Natl Univ, Seoul 151, South Korea
3
Collaborators
Citations 
PageRank 
17
19
1.35
Referers 
Referees 
References 
80
121
48
Search Limit
100121
Title
Citations
PageRank
Year
Crellvm: verified credible compilation for LLVM.20.372018
Taming undefined behavior in LLVM.90.542017
Lightweight verification of separate compilation.80.442016