Talks

MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification
2026.10.08 @ UC Berkeley PLAIT Lab

Language Design and Implementation using JavaScript Mechanized Specification
2024.11.20 @ UNIST CSE Seminar
Language Design and Implementation using JavaScript Mechanized Specification
2024.06.24 @ Instituto Superior Técnico of University of Lisbon
JavaScript 언어 생태계 자동화 연구를 하기까지의 여정
2024.05.03 @ 한국과학영재학교 수리정보과학부 콜로퀴움

자바스크립트 엔진 보안과 퍼징
2023.11.02 @ 고려대학교 융합보안대학원 세미나
기계화 명세를 이용한 자바스크립트 언어의 설계와 구현
2023.10.11 @ 고려대학교 CS 콜로퀴움
PL 구현체를 위한 새로운 커버리지를 제안하기까지의 여정
2023.08.24 @ SIGPL Summer School 2023
프로그래밍 언어 연구란?
2023.05.15 @ 고려대학교 KUGODS 연사 초청 특강
Guiding the Design and Implementation of JavaScript using Mechanized Specification
2023.04.20 @ 고려대학교 KU-KIST융합대학원 저널클럽
기계화 명세를 이용한 자바스크립트 언어의 설계와 구현
2023.03.15 @ 고려대학교 CS 콜로퀴움
기계화 명세를 이용한 JavaScript 언어의 설계와 구현
2023.03.10 @ 고려대학교 소프트웨어 분석 연구실 세미나
Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis
2023.02.09 @ KCSE 2023 Invite Talk

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