Jihyeok Park

Registered user since Wed 13 Dec 2017

Name:Jihyeok Park

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.

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


PLDI 2023 Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Show activities from other conferences

Using general profile