Sukyoung Ryu

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 58

Top Topics

Web Applications

Abstract Interpretation

Static Analysis

Angiography Images

Top Venues

Softw. Pract. Exp.

Publications

Sungjae Hwang, Sungho Lee, Sukyoung Ryu
An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations. IEEE Trans. Software Eng. 50 (4) (2024)
Jaemin Hong, Sukyoung Ryu
Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Sukyoung Ryu, Jihyeok Park
JavaScript Language Design and Implementation in Tandem. Commun. ACM 67 (5) (2024)
Jaemin Hong, Sukyoung Ryu
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. CoRR (2023)
Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Dongjun Youn, Sungho Lee, Sukyoung Ryu
Declarative static analysis for multilingual programs using CodeQL. Softw. Pract. Exp. 53 (7) (2023)
Jihee Park, Jaemin Hong, Sukyoung Ryu
Semantic Transformation Framework for Rewriting Rules. PEPM@POPL (2023)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Jaemin Hong, Sukyoung Ryu
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. ICSE (2023)
Jihee Park, Sungho Lee, Jaemin Hong, Sukyoung Ryu
Static Analysis of JNI Programs via Binary Decompilation. IEEE Trans. Software Eng. 49 (5) (2023)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66 (5) (2023)
Jihyeok Park, Hongki Lee, Sukyoung Ryu
A Survey of Parametric Static Analysis. ACM Comput. Surv. 54 (7) (2022)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. CoRR (2022)
Jihyeok Park, Seungmin An, Sukyoung Ryu
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis. ESEC/SIGSOFT FSE (2022)
Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. ICSE (Companion Volume) (2021)
Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. ICSE (2021)
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE (2021)
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
Accelerating JavaScript static analysis via dynamic shortcuts. ESEC/SIGSOFT FSE (2021)
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). CoRR (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification. ICSE (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. CoRR (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. ICSE (Companion Volume) (2021)
Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu
JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE (2020)
Sungho Lee, Hyogun Lee, Sukyoung Ryu
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis. ASE (2020)
Hongki Lee, Changhee Park, Sukyoung Ryu
Automatically Tracing Imprecision Causes in JavaScript Static Analysis. Art Sci. Eng. Program. 4 (2) (2020)
Sungjae Hwang, Sungho Lee, Sukyoung Ryu
All about activity injection: Threats, semantics, detection, and defense. Softw. Pract. Exp. 50 (7) (2020)
Shinhae Kim, Sukyoung Ryu
Analysis of Blockchain Smart Contracts: Techniques and Insights. SecDev (2020)
Sungjae Hwang, Sukyoung Ryu
Gap between theory and practice: an empirical study of security patches in solidity. ICSE (2020)
Hongki Lee, Changhee Park, Sukyoung Ryu
Automatically Tracing Imprecision Causes in JavaScript Static Analysis. CoRR (2019)
Sukyoung Ryu, Jihyeok Park, Joonyoung Park
Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild. IEEE Softw. 36 (3) (2019)
Myounghee Han, Yongjoo Kim, Jang Ryul Park, Benjamin J. Vakoc, Wang-Yuhl Oh, Sukyoung Ryu
Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography Angiography Images Based on 3D Superellipsoid Modeling. Int. J. Image Graph. 19 (2) (2019)
Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu
Polymorphic symmetric multiple dispatch with variance. Proc. ACM Program. Lang. 3 (POPL) (2019)
Sora Bae, Sungho Lee, Sukyoung Ryu
Towards understanding and reasoning about Android interoperations. ICSE (2019)
Sungho Lee, Sukyoung Ryu
Adlib: analyzer for mobile ad platform libraries. ISSTA (2019)
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
Weakly sensitive analysis for JavaScript object-manipulating programs. Softw. Pract. Exp. 49 (5) (2019)
Joonyoung Park, Alexander Jordan, Sukyoung Ryu
Automatic Modeling of Opaque Code for JavaScript Static Analysis. FASE (2019)
Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu
A framework for dynamic inter-device task dispatch with eventual consistency. Programming (2018)
Jaemin Hong, Jihyeok Park, Sukyoung Ryu
Path dependent types with path-equality. SCALA@ICFP (2018)
Yeonhee Ryou, Sukyoung Ryu
Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages. ICST (2018)
Joonyoung Park, Kwangwon Sun, Sukyoung Ryu
-Based Analysis Framework for Web Apps Using Dynamically Collected States. FASE (2018)
Manuel Serrano, Sukyoung Ryu
Web Programming Chairs' Welcome & Organization. WWW (Companion Volume) (2018)
Changhee Park, Hongki Lee, Sukyoung Ryu
Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity. Softw. Pract. Exp. 48 (4) (2018)
Se-Won Kim, Xavier Rival, Sukyoung Ryu
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu
Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12). NII Shonan Meet. Rep. 2017 (2017)
Sungho Lee, Sungjae Hwang, Sukyoung Ryu
All about activity injection: threats, semantics, and detection. ASE (2017)
Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu
Analysis of JavaScript web applications using SAFE 2.0. ICSE (Companion Volume) (2017)
Sora Bae, Joonyoung Park, Sukyoung Ryu
Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. FormaliSE@ICSE (2017)
Kwangwon Sun, Sukyoung Ryu
Analysis of JavaScript Programs: Challenges and Research Trends. ACM Comput. Surv. 50 (4) (2017)
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS (2017)
Jihyeok Park, Xavier Rival, Sukyoung Ryu
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. SOAP@PLDI (2017)
Wai Ting Cheung, Sukyoung Ryu, Sunghun Kim
Development nature matters: An empirical study of code clones in JavaScript applications. Empir. Softw. Eng. 21 (2) (2016)
Sukyoung Ryu
ThisType for Object-Oriented Languages: From Theory to Practice. ACM Trans. Program. Lang. Syst. 38 (3) (2016)
Sukyoung Ryu
Scalable framework for parsing: from Fortress to JavaScript. Softw. Pract. Exp. 46 (9) (2016)
Sungho Lee, Julian Dolby, Sukyoung Ryu
HybriDroid: static analysis framework for Android hybrid applications. ASE (2016)
Joonyoung Park, Inho Lim, Sukyoung Ryu
Battles with false positives in static analysis of JavaScript web applications in the wild. ICSE (Companion Volume) (2016)
Sukyoung Ryu
Journey to find bugs in JavaScript web applications in the wild. ICFP (2016)
Changhee Park, Hyeonseung Im, Sukyoung Ryu
Precise and scalable static analysis of jQuery using a regular expression domain. DLS (2016)
Changhee Park, Sukyoung Ryu
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Changhee Park, Sukyoung Ryu
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. ECOOP (2015)
Changhee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T). ASE (2015)
Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T). ASE (2015)
Sungjae Hwang, Sungho Lee, Yongdae Kim, Sukyoung Ryu
Bittersweet ADB: Attacks and Defenses. AsiaCCS (2015)
Junhee Cho, Sukyoung Ryu
JavaScript module system: exploring the design space. MODULARITY (2014)
SungGyeong Bae, Hyunghun Cho, Inho Lim, Sukyoung Ryu
SAFEWAPI: web API misuse detector for web applications. SIGSOFT FSE (2014)
Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu
Inferring Grammatical Summaries of String Values. APLAS (2014)
Hyunghun Cho, Sukyoung Ryu
REST to JavaScript for better client-side development. WWW (Companion Volume) (2014)
Hyunik Na, Sukyoung Ryu
A New Formalization of Subtyping to Match Subclasses to Subtypes. FLOPS (2014)
Changhee Park, Hongki Lee, Sukyoung Ryu
All about the with statement in JavaScript: removing with statements in JavaScript applications. DLS (2013)
Hyunik Na, Sukyoung Ryu
ThisJava: An Extension of Java with Exact Types. APLAS (2013)
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS (2013)
Hyunik Na, Sukyoung Ryu, Kwangmoo Choe
Exact type parameterization and ThisType support. TLDI (2012)
Seonghoon Kang, Sukyoung Ryu
Formal specification of a JavaScript module system. OOPSLA (2012)
Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. OOPSLA (2011)
Seonghoon Kang, Sukyoung Ryu
FortressCheck: automatic testing for generic properties. SAC (2011)
Jieung Kim, Sukyoung Ryu
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. CPP (2011)
J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. 75 (9) (2010)
Sukyoung Ryu
Parsing Fortress syntax. PPPJ (2009)
J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Integrating coercion with subtyping and multiple dispatch. SAC (2008)
Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Modular multiple dispatch with multiple inheritance. SAC (2007)
Sukyoung Ryu, Norman Ramsey
Source-Level Debugging for Multiple Languages with Modest Programming Effort. CC (2005)
Kwangkeun Yi, Sukyoung Ryu
A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. 277 (1-2) (2002)
Sukyoung Ryu, Kwangkeun Yi
Exception Analysis for Multithreaded Java Programs. APAQS (2001)
Kwangkeun Yi, Sukyoung Ryu
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS (1997)
Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC (1996)