Jihee Park -

Registered user since Wed 5 Aug 2020

Name:Jihee Park

Country:South Korea

Affiliation:KAIST

Personal website: https://plrg.kaist.ac.kr/members/jihee

Contributions

2025

SPLASH

Author of Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation within the OOPSLA-track

2024

APLAS

Author of [SRC] On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation within the SRC & Posters-track

2023

PEPM

Author of Semantic Transformation Framework for Rewriting Rules within the PEPM 2023-track

2020

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ASE

Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track