PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Tue 17 Jun 2025 10:55 - 11:20 at Cosmos - Session 2

Jihyeok Park is an Assistant Professor at the Dept. of Computer Science and Engineering, College of Informatics, Korea University. My main research topic is programming languages and software engineering, including program analysis, mechanized specification, program synthesis, and automated testing. 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.

This program is tentative and subject to change.

Tue 17 Jun

Displayed time zone: Seoul change

10:30 - 12:00
Session 2RPLS at Cosmos

Mechanized Specifications for WebAssembly and JavaScript

10:30
25m
Talk
SpecTec, a Single Source of Truth
RPLS
10:55
25m
Talk
Trusted JavaScript Language Environments with ESMeta
RPLS
Jihyeok Park Korea University
11:20
25m
Talk
The Software Supporting the JavaScript Language Specification
RPLS