Jihyeok Park

Orcid: 0000-0001-8387-1984

According to our database1, Jihyeok Park authored at least 16 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
JavaScript Language Design and Implementation in Tandem.
Commun. ACM, May, 2024

PL4XGL: A Programming Language Approach to Explainable Graph Learning.
Proc. ACM Program. Lang., 2024

2023
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.
Proc. ACM Program. Lang., 2023

2022
A Survey of Parametric Static Analysis.
ACM Comput. Surv., 2022

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.
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).
CoRR, 2021

Accelerating JavaScript static analysis via dynamic shortcuts.
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.
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.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020
JISET: JavaScript IR-based Semantics Extraction Toolchain.
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.
IEEE Softw., 2019

2018
Path dependent types with path-equality.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

A framework for dynamic inter-device task dispatch with eventual consistency.
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.
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.
Proceedings of the 39th International Conference on Software Engineering, 2017

2014
JavaScript API misuse detection by using typescript.
Proceedings of the 13th International Conference on Modularity, 2014


  Loading...