![Jihyeok Park](https://conf.researchr.org/getProfileImage/jihyeokpark/1fd7e116-1e27-4867-b911-b6f33c1d8dcf/small.jpg?1720987561000)
Registered user since Wed 13 Dec 2017
Name:Jihyeok Park
Bio:
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
Personal website: https://park.jihyeok.site/
GitHub: https://github.com/jhnaldo
Research interests:Mechanized Specification, JavaScript Static Analysis, Differential Testing, and Parsing Expression Grammar
Contributions
PLDI 2024-profile
View general profile
View general profile