2025
-
안전한 자바스크립트 언어 생태계 확보 기술
2025.08.21 @ SIGPL Summer School 2025
-
Trusted JavaScript Language Environments with ESMeta
2025.07.04 @ PLSS 2025
-
Trusted JavaScript Language Environments with ESMeta
2025.06.17 @ RPLS 2025
-
기계화 명세를 이용한 자바스크립트 언어의 설계와 구현
2025.05.14 @ 고려대학교 CS 콜로퀴움
-
기계화 명세를 통한 안전한 자바스크립트 언어 생태계 확보 기술
2025.04.18 @ SWCS 2025 Invite Talk
2024
-
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
-
자바스크립트 엔진 보안과 퍼징
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
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