Showing results 8 to 14 of 14
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