About Myself
[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
-
Algorithm Engineer Manager, Spacewalk, 2021.07 - Current
-
Software Engineer Intern, Nearthlab, 2018.02 - 2018.07
Education
- Ph.D. Candidate, Computer Science, 2018 - 2021
University of California, Davis (UC Davis)- Davis Automated Reasoning Group
- Advisor: Prof. Aditya V. Thakur
- On alternative military service in South Korea
-
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)