Browse "CS-Conference Papers(학술회의논문)" by Author Park, Jihyeok

Showing results 1 to 9 of 9

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

Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12

2
Accelerating JavaScript static analysis via dynamic shortcuts

Park, Joonyoung; Park, Jihyeok; Youn, Dongjun; Ryu, Sukyoung, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1129 - 1140, ACM, 2021-08-20

3
Analysis of JavaScript web applications using SAFE 2.0

Park, Jihyeok; Ryou, Yeonhee; Park, Joonyoung; Ryu, Sukyoung, 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, pp.59 - 62, Institute of Electrical and Electronics Engineers Inc., 2017-05-28

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

Park, Jihyeok; An, Seungmin; Ryu, Sukyoung, ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1022 - 1034, ACM, 2022-11-14

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

Park, Jihyeok; Youn, Dongjun; Lee, Kanguk; Ryu, Sukyoung, 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), pp.493 - 515, Association for Computing Machinery (ACM), 2023-06-21

6
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification

Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05

7
JSTAR: JavaScript Specification Type Analyzer using Refinement

Park, Jihyeok; An, Seungmin; Shin, Wonho; Sim, Yusung; Ryu, Sukyoung, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.606 - 616, IEEE/ACM, 2021-11-17

8
Path dependent types with path-equality

Hong, Jaemin; Park, Jihyeok; Ryu, Sukyoung, 9th ACM SIGPLAN International Symposium on Scala (Scala) as part of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.35 - 39, ACM Press, 2018-09-28

9
Revisiting recency abstraction for JavaScript: Towards an intuitive, compositional, and efficient heap abstraction

Park, Jihyeok; Rival, Xavier; Ryu, Sukyoung, 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2017, pp.1 - 6, Association for Computing Machinery, Inc, 2017-06-18

Discover

rss_1.0 rss_2.0 atom_1.0