About myself

Ph.D. Student
Davis Automated Reasoning Group
Advisor: Prof. Aditya V. Thakur
University of California, Davis
Department of Computer Science


  1. Memory-efficient Fixpoint Computation
    27th Static Analysis Symposium (SAS), 2020
    [preprint] [code] [video]
    • SAS 2020 Radhia Cousot Young Researcher Best Paper Award [link]
  2. Deterministic Parallel Fixpoint Computation
    Proceedings of the ACM on Programming Languages (POPL), 2020
    [url] [code] [video]
    • Code integrated into NASA IKOS
    • Code integrated into Facebook SPARTA
  3. Reusing the Optimized Code for JavaScript Ahead-of-Time Compilation
    ACM Transactions on Architecture and Code Optimization (TACO), 2019

  4. Advanced ahead-of-time compilation for Javascript engine: work-in-progress
    International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), 2017

Work Experience

  • Software Engineer Intern, Nearthlab, 2018.02 - 2018.07


  • 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)