박지희

Jihee Park, Insu Yun, and Sukyoung Ryu, "Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation," Proceedings of the ACM on Programming Languages (PACMPL) OOPSLA 2025, October 2025.
Jihee Park*, Sungho Lee*, Jaemin Hong, and Sukyoung Ryu, "Static Analysis of JNI Programs via Binary Decompilation," IEEE Transactions on Software Engineering (TSE), Vol. 49, No. 5, pp 3089-3105, 2023.
Jihee Park, Jaemin Hong, and Sukyoung Ryu, “Semantic Transformation Framework for Rewriting Rules,” Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), January 2023.
Jihyeok Park, Jihee Park, Seungmin An, and Sukyoung Ryu, “JISET: JavaScript IR-based Semantics Extraction Toolchain,” Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2020.

Jihee Park, and Sukyoung Ryu, "A Study on the Proof Structures of the Theorem Obtained using LEM in Coq," KIISE Transactions on Computing Practices, Vol. 30, No. 4, pp. 193-198, 2024.
Jihee Park, and Sukyoung Ryu, "Formal Decompilation Using Multi-Level Language Transformation", Proceedings of the Korea Software Congress (KSC), December 2023.
Jihee Park, and Sukyoung Ryu, "Safe Encapsulation of using LEM in Coq by Monadic Type", Proceedings of the Korea Software Congress (KSC), December 2022.
Jihee Park, and Sukyoung Ryu, "EVM Bytecode Analysis Using an Abstract-Index-Based Memory Analysis Technique," KIISE Transactions on Computing Practices, Vol. 26, No. 4, pp. 217-222, 2020.
Jihee Park, and Sukyoung Ryu, "Pointer Analysis of EVM Bytecode using Abstract Interpretation," Proceedings of the Korea Computer Congress (KCC), June 2019.
Jihee Park, and Sukyoung Ryu, "LLVM IR Translation from Ethereum Bytecode ," Proceedings of the Korea Computer Congress (KCC), June 2018.

Awards

Best Paper Award, "Pointer Analysis of EVM Bytecode using Abstract Interpretation", KIISE Korea Computer Congress (KCC) 2019, June 2019

École Normale Supérieure, 06/23/2018 - 07/29/2018
- Professor: Xavier Rival
- Subject: Re-entrancy issues of smart contracts

Rm. 4409, School of Computing (E3-1)

Korea Advanced Institute of Science and Technology

Daehak-ro 291

Guseong-dong, Yuseong-gu

Daejeon 305-701, Korea

Email: jiheepark [at] kaist.ac.kr

Google Sites

Report abuse