Showing results 1 to 26 of 26
A cost-effective estimation of uncaught exceptions in Standard ML programs Yi, Kwangkeun; Ryu, Sukyoung, THEORETICAL COMPUTER SCIENCE, v.277, no.1-2, pp.185 - 217, 2002-04 |
A Survey of Parametric Static Analysis Park, Jihyeok; Lee, Hongki; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.54, no.7, 2021-09 |
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08 |
All about activity injection: Threats, semantics, detection, and defense Hwang, Sungjae; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.50, no.7, pp.1061 - 1086, 2020-07 |
All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications Park, Changhee; Lee, Hongki; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.49, no.2, pp.73 - 84, 2014-02 |
Analysis of JavaScript Programs: Challenges and Research Trends Sun, Kwangwon; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.50, no.4, 2017-11 |
Automatically Tracing Imprecision Causes in JavaScript Static Analysis Lee, Hongki; Park, Changhee; Ryu, Sukyoung, The Art, Science, and Engineering of Programming, v.4, no.2, pp.2, 2019-10 |
Declarative static analysis for multilingual programs using CodeQL Youn, Dongjun; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.53, no.7, pp.1472 - 1495, 2023-07 |
Development nature matters: An empirical study of code clones in JavaScript applications Cheung, Wai Ting; Ryu, Sukyoung; Kim, Sunghun, EMPIRICAL SOFTWARE ENGINEERING, v.21, no.2, pp.517 - 564, 2016-04 |
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 |
Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
GPU-Accelerated Framework for Intracoronary Optical Coherence Tomography Imaging at the Push of a Button Han, Myounghee; Kim, Kyunghun; Jang, Sun Joo; Cho, Han Saem; Bouma, Brett E.; Oh, Wang-Yuhl; Ryu, Sukyoung, PLOS ONE, v.10, no.4, 2015-04 |
Integrating coercion with subtyping and multiple dispatch Hallett, J. J.; Luchangco, Victor; Ryu, Sukyoung; Steele, Guy L., Jr., SCIENCE OF COMPUTER PROGRAMMING, v.75, pp.787 - 795, 2010-09 |
Journey to Find Bugs in JavaScript Web Applications in the Wild Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.51, no.9, pp.2 - 2, 2016-09 |
Long-Term Mentoring for Computer Science Researchers Ringer, Talia; Liu, Sihang; Garza, Elba; Ryu, Sukyoung; Silva, Alexandra, COMMUNICATIONS OF THE ACM, v.66, no.5, pp.33 - 35, 2023-05 |
Polymorphic symmetric multiple dispatch with variance Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; Ryu, Sukyoung, Proceedings of the ACM on Programming Languages, v.3, no.POPL, pp.1 - 28, 2019-01 |
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain Park, Changhee; Im, Hyeonseung; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.52, no.2, pp.25 - 36, 2017-02 |
Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography Angiography Images Based on 3D Superellipsoid Modeling Han, Myounghee; Kim, Yongjoo; Park, Jang Ryul; Vakoc, Benjamin J.; Oh, Wang-Yuhl; Ryu, Sukyoung, INTERNATIONAL JOURNAL OF IMAGE AND GRAPHICS, v.19, no.2, 2019-04 |
Scalable framework for parsing: from Fortress to JavaScript Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.9, pp.1219 - 1238, 2016-09 |
Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04 |
Static Analysis of JNI Programs via Binary Decompilation Park, Jihee; Lee, Sungho; Hong, Jaemin; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05 |
ThisType for Object-Oriented Languages: From Theory to Practice Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.38, no.3, 2016-05 |
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 |
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy L., Jr., ACM SIGPLAN NOTICES, v.46, no.10, pp.973 - 992, 2011-10 |
Weakly sensitive analysis for JavaScript object-manipulating programs Ko, Yoon Seok; Rival, Xavier; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.49, no.5, pp.840 - 884, 2019-05 |
Wide dynamic range high-speed three-dimensional quantitative OCT angiography with a hybrid-beam scan Park, Tae Jin; Jang, Sun Joo; Han, Myounghee; Ryu, Sukyoung; Oh, Wang-Yuhl, OPTICS LETTERS, v.43, no.10, pp.2237 - 2240, 2018-05 |
Discover