Jihyeok Park

According to our database, Jihyeok Park authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.

Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu

Proc. ACM Program. Lang., 2023

2022

A Survey of Parametric Static Analysis.

Jihyeok Park, Hongki Lee, Sukyoung Ryu

ACM Comput. Surv., 2022

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.

Jihyeok Park, Seungmin An, Sukyoung Ryu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version).

Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu

CoRR, 2021

Accelerating JavaScript static analysis via dynamic shortcuts.

Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

JSTAR: JavaScript Specification Type Analyzer using Refinement.

Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification.

Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

JISET: JavaScript IR-based Semantics Extraction Toolchain.

Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild.

Sukyoung Ryu, Jihyeok Park, Joonyoung Park

IEEE Softw., 2019

2018

Path dependent types with path-equality.

Jaemin Hong, Jihyeok Park, Sukyoung Ryu

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

A framework for dynamic inter-device task dispatch with eventual consistency.

Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.

Jihyeok Park, Xavier Rival, Sukyoung Ryu

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Analysis of JavaScript web applications using SAFE 2.0.

Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu

Proceedings of the 39th International Conference on Software Engineering, 2017

2014

JavaScript API misuse detection by using typescript.

Jihyeok Park

Proceedings of the 13th International Conference on Modularity, 2014