Talks

2025

2024

2023

Before 2023

  • Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis
    2022.12.23 @ KSC 2022 Invite Talk
  • JavaScript Static Analysis for Evolving Language Specifications
    2022.02.13 @ SIGPL Winter School 2022
  • JavaScript Static Analysis for Evolving Language Specifications
    2022.02.09 @ STAAR Workshop
  • JavaScript Static Analysis for Evolving Language Specifications
    2022.01.26 @ TC39 Meeting
  • JSTAR: JavaScript Specification Type Analyzer using Refinement
    2022.01.20 @ KCSE 2022 Invite Talk
  • JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
    2022.01.20 @ KCSE 2022 Invite Talk
  • JavaScript Static Analysis for Evolving Language Specifications
    2022.01.05 @ Agoric
  • JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
    2021.12.21 @ KSC 2021 Invite Talk
  • JavaScript Static Analysis for Evolving Language Specifications
    2021.12.15 @ DI ENS Seminar
  • JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
    2021.10.12 @ EIRIC Seminar
  • JavaScript Static Analysis for Evolving Language Specifications
    2021.09.17 @ KAISTPL
  • Towards Co-evolution of JavaScript Specification and Tools
    2021.06.28 @ KAIST Prosys Lab
  • JISET: JavaScript IR-based Semantics Extraction Toolchain
    2021.06.23 @ KCC 2021 Invite Talk
  • Update-Tolerant JavaScript Static Analysis for Frequently Released ECMAScript
    2019.11.26 @ NUS Seminar