Jihyeok Park

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
Research interests:Mechanized Specification, JavaScript Static Analysis, Differential Testing, and Parsing Expression Grammar

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
APLAS 2023 PC Member in Program Committee within the APLAS 2023-track
SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI 2023 Author of Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations within the PLDI Research Papers-track
APLAS 2022 Committee Member in Program Committee
SPLASH 2022 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ESEC/FSE 2022 Author of Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis within the Research Papers-track
ISSTA 2022 Web Co-Chair in Organizing Comittee
PLDI 2022 Author of Filling the gap between the JavaScript language specification and tools using the JISET family within the Tutorials-track
ASE 2021 Author of Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement" within the Artifact Evaluation-track
Author of JSTAR: JavaScript Specification Type Analyzer using Refinement within the Research Papers-track
ESEC/FSE 2021 Author of Accelerating JavaScript Static Analysis via Dynamic Shortcuts within the Research Papers-track
ECOOP and ISSTA 2021 Author of JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) within the Doctoral Symposium-track
ICSE 2021 Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the AE - Artifact Evaluation-track
Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the Technical Track-track
ASE 2020 Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Scala 2018 Author of Path Dependent Types with Path-Equality within the Scala 2018-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
ProWeb 2018 Author of A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency within the ProWeb 2018-track
SOAP 2017 Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track