About
Cancel

I’m a Post Doctoral Fellow at Oracle Labs Australia. I’m working on research about programming languages, especially static/dynamic program analysis. I’m also leading an open-source project, ESMeta, which is a framework that extracts a mechanized specification from a given version of ECMAScript specification (ECMA-262) and automatically generates language-based tools.

Educational Background

Research Interests

  • Mechanized Specification
  • JavaScript Static/Dynamic/Hybrid Analysis
  • Program Synthesis
  • Automated Software Testing / Fuzzing
  • Parsing Expression Grammar (PEG)

Honors & Awards

  • Ph.D. Dissertation Award, KAIST College of Engineering, 2022.
  • An Outstanding Ph.D. Thesis, KAIST School of Computing, 2022.
  • ACM SIGSOFT Distinguished Paper Award, International Conference on Software Engineering (ICSE), 2021.
  • Ph.D. Fellowship Award, NAVER Corporation, 2020
  • Outstanding Teaching Assistant Award, KAIST CS320 Programming Languages, 2016 Fall / 2017 Spring / 2018 Spring/ 2018 Fall / 2019 Spring (5 times)
  • Outstanding Teaching Assistant Award, KAIST CS109 Programming Practice, 2016 Spring
  • Best Paper Award, International Workshop on the State Of the Art in Java Program Analysis (SOAP), 2017
  • Magna Cum Laude (GPA: 3.88/4.3), KAIST School of Computing, 2016
  • Workshop 3rd Award, KAIST Undergraduate Research Project (URP) Program, 2014
  • ACM Student Research Competition 3rd, Modularity, 2014.
  • Honor Program, School of Computing, KAIST, 2014.
  • KAIST Presidential Fellowship, School of Computing, KAIST, 2013.

Talks

Trending Tags
ocaml js