박지혁
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
Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu, "A Survey of Parametric Static Analysis," ACM Computing Surveys (CSUR) (To Appear).
Sukyoung Ryu, Jihyeok Park, and Joonyoung Park, "Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild," IEEE Software, Volume 36 Issue 3, May-June 2019.
Conference
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu, "JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification," Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE), May 2021. ACM SIGSOFT Distinguished Paper Award.
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.
Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu "A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency," Proceedings of the 2nd International Workshop on Programming Technology for the Future Web (ProWeb), April 2018.
Keunhong Lee, Shinae Woo, Sanghyeon Seo, Jihyeok Park, Sukyoung Ryu, and Sue Moon, "Toward Building Memory-safe Network Functions with Modest Performance Overhead," Proceedings of the 3rd SIGCOMM Workshop on Networking and Programming Languages (NetPL '17), August 2017.
Jihyeok Park, Xavier Rival and Sukyoung Ryu, "Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction," Proceedings of the International Workshop on the State Of the Art in Java Program Analysis (SOAP), June 2017. Best Paper Award.
Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu, "Analysis of JavaScript Web Applications Using SAFE 2.0," Proceedings of the 39th International Conference on Software Engineering (ICSE) Demonstrations track, May 2017.
Jihyeok Park, "JavaScript API Misuse Detection by Using TypeScript," Proceedings of the 13th International Conference on Modularity, April 2014. ACM Student Research Competition 3rd.
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