박지희

Jihee Park

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • Abstract Interpretation

  • Program Transformation

  • Memory Abstraction

Education

Integrated MS & Ph.D. in Computer Science, Mar. 2020 - Present

School of Computing, KAIST

MS in Computer Science, Mar. 2019 - Feb. 2020

School of Computing, KAIST

BS in Mathematical Science & Computer Science, Mar. 2015 - Feb. 2019

Department of Mathematical Sciences, KAIST

Publications

International Publications

  • 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.

Domestic Publications

  • Jihee Park, and Sukyoung Ryu, "EVM Bytecode Analysis Using an Abstract-Index-Based Memory Analysis Technique," in KIISE Transactions on Computing Practices, Vol. 26, No. 4, pp. 217-222, 2020.

Contact

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