Dongjoo-Kim

Address
Department of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 08826, Republic of Korea

Email: dongjoo.kim#sf:snu:ac:kr where # is @ and : is .

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.
Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes.
33rd International Conference on Computer-Aided Verification(CAV 2021)
. [paper: pdf] [slides: pdf]
CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur.
In Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)
[paper: pdf] [project page]

Mar. 2018 – Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
Mar. 2014 – Feb. 2018, B.S. Computer Science and Engineering, Seoul National University

TA, Principles of Programming (Prof. Chung-Kil Hur)
- 2018 Fall, 2019 Fall
TA, Principles and Practices of Software Development (Prof. Chung-Kil Hur)
- 2019 Spring
TA, Software Foundations (Prof. Chung-Kil Hur)
- 2020 Fall