About Myself

[CV]


Publications

  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
    [url]

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