About myself
Ph.D. Student
Davis Automated Reasoning Group
Advisor: Prof. Aditya V. Thakur
University of California, Davis
Department of Computer Science
[CV]
Publications
- Memory-efficient Fixpoint Computation
27th Static Analysis Symposium (SAS), 2020
[preprint] [code] [video]- SAS 2020 Radhia Cousot Young Researcher Best Paper Award [link]
- Deterministic Parallel Fixpoint Computation
Proceedings of the ACM on Programming Languages (POPL), 2020
[url] [code] [video] -
Reusing the Optimized Code for JavaScript Ahead-of-Time Compilation
ACM Transactions on Architecture and Code Optimization (TACO), 2019
[url] - Advanced ahead-of-time compilation for Javascript engine: work-in-progress
International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2017
[url]
Work Experience
- Software Engineer Intern, Nearthlab, 2018.02 - 2018.07
Education
-
Ph.D. Student, Computer Science, 2018 - Present
University of California, Davis (UC Davis) -
M.S., Electrical and Computer Engineering, 2017
Seoul National University (SNU) -
B.S., Computer Science, Physics (Minor), 2015
Korea Advanced Institute of Science and Technology (KAIST)