ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Jihyeok Park

Registered user since Tue 17 Sep 2024

Name:Jihyeok Park
Bio:

Jihyeok Park is an assistant professor at the Department 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.

Country:South Korea
Affiliation:Korea University
Research interests:Mechanized Specification, JavaScript Static Analysis, Differential Testing, and Parsing Expression Grammar

Contributions

Show activities from other conferences

Using general profile