3
Publications
76
Citations
3
H-Index
2017
Active since
Yoonseung Kim is an author at Seoul National University specializing in computer science, software analysis, and formal verification.
Top concepts
CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringParallel Programming
Publications per year
2017–2018
3
3
Taming undefined behavior in LLVM
Juneyoung Lee, Yoonseung Kim, Youngju Song et al. · 2017 · 40 citations
Crellvm: verified credible compilation for LLVM
Jeehoon Kang, Yoonseung Kim, Youngju Song et al. · 2018 · 23 citations
Taming undefined behavior in LLVM
Juneyoung Lee, Yoonseung Kim, Youngju Song et al. · ACM SIGPLAN Notices · 2017 · 13 citations
Rows per page
1–3 of 3