Showing results 1 to 14 of 14
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 |
A Survey of Parametric Static Analysis Park, Jihyeok; Lee, Hongki; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.54, no.7, 2021-09 |
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 |
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 |
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 |
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Park, Jihyeok; Youn, Dongjun; Lee, Kanguk; Ryu, Sukyoung, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, 2023-06 |
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 |
JavaScript Language Design and Implementation in Tandem Ryu, Sukyoung; Park, Jihyeok, COMMUNICATIONS OF THE ACM, v.67, no.5, pp.86 - 95, 2024-05 |
JavaScript static analysis for evolving language specifications = 성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석link Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
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 |
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 |
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 |
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 |
Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild Ryu, Sukyoung; Park, Jihyeok; Park, Joonyoung, IEEE SOFTWARE, v.36, no.3, pp.74 - 82, 2019-05 |
Discover