Sun 22 - Fri 27 October 2023 Cascais, Portugal
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


Show activities from other conferences

Using general profile