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

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

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