박지희
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