박지혁

Jihyeok Park

Ph.D. Candidate, PLRG Lab.

School of Computing

Korea Advanced Institute of Science and Technology

Research Interests

  • JavaScript Static Analysis

  • Static/Dynamic Hybrid Approch

  • Analysis Sensitivity

  • Memory Abstraction

  • Formal Verification

Education

Integrated MS & Ph.D. in Computer Science, Feb. 2017 - Present

School of Computing, KAIST

MS in Computer Science, Feb. 2016 - Feb. 2017

School of Computing, KAIST

BS in Computer Science & Mathematical Science, Feb. 2012 - Feb. 2016

School of Computing, KAIST

Publications

Journal

Conference

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

  • Jaemin Hong, Jihyeok Park, and Sukyoung Ryu, “Path Dependent Types with Path-Equality,” Proceedings of the 9th ACM SIGPLAN Symposium on Scala, September 2018.

Contact

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

Korea Advanced Institute of Science and Technology

Daehak-ro 291

Guseong-dong, Yuseong-gu

Daejeon 305-701, Korea

Email: jhpark0223 [at] kaist.ac.kr, jhpjhp0223 [at] gmail.com

Mobile: +82-10-4126-8418

Phone: +82-42-350-7838