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.
- Curriculum Vitae (CV)
- Publication -
- Contact -
Educational Background
- March 2016 - Feb 2022, Integrated M.S. & Ph.D. in School of Computing, KAIST
- March 2012 - Feb 2016, B.S. in School of Computing and Mathematical Sciences, KAIST
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
- JavaScript Static Analysis for Evolving Language Specifications, SIGPL Winter School 2022, Jeju, February 13, 2022.
- JavaScript Static Analysis for Evolving Language Specifications, STAAR Workshop, Jeju, February 9, 2022.
- JavaScript Static Analysis for Evolving Language Specifications, TC39 Meeting, Online, January 26, 2022.
- JSTAR: JavaScript Specification Type Analyzer using Refinement. KCSE 2022 Invite Talk, Online. January 20, 2022.
- JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. KCSE 2022 Invite Talk, Online. January 20, 2022.
- JavaScript Static Analysis for Evolving Language Specifications. Agoric, Online, January 5, 2022.
- JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. KSC 2021 Invite Talk, Online. December 21, 2021.
- JavaScript Static Analysis for Evolving Language Specifications. DI ENS Seminar, Online. December 15, 2021.
- JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE 2021, Online. November 17, 2021.
- JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] EIRIC Seminar, Online. October 12, 2021.
- JavaScript Static Analysis for Evolving Language Specifications. [video] KAISTPL, Online. September 17, 2021.
- JavaScript Static Analysis with Evolving Engines and Specification. ECOOP/ISSTA 2021 DS, Online. July 13, 2021.
- Towards Co-evolution of JavaScript Specification and Tools. Prosys Lab, KAIST, Daejeon, South Korea. June 28, 2021.
- JISET: JavaScript IR-based Semantics Extraction Toolchain. KCC 2021 Invite Talk, Jeju, South Korea. June 23, 2021.
- JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] ICSE 2021, Online. May 28, 2021.
- JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE 2020, Online. September 23, 2020.
- Update-Tolerant JavaScript Static Analysis for Frequently Released ECMAScript. NUS Seminar, Singapore. November 26, 2019.
- Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild. ICSME 2019 J1C2, Cleveland, USA. September 28, 2018.
- A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency. ProWeb 2018, Nice, France. April 10, 2018.
- Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction. SOAP 2017, Barcelona, Spain. June 18, 2017.
- Analysis of JavaScript Web Applications Using SAFE 2.0. [video] ICSE 2017 Demo, Buenos Aires, Argentina. May 24, 2017
- JavaScript API Misuse Detection by Using TypeScript. Modularity 2014 SRC, Lugano, Switzerland. April 22, 2014