Sukyoung Ryu

According to our database, Sukyoung Ryu authored at least 82 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Type-migrating C-to-Rust translation using a large language model.

Jaemin Hong, Sukyoung Ryu

Empir. Softw. Eng., February, 2025

2024

JavaScript Language Design and Implementation in Tandem.

Sukyoung Ryu, Jihyeok Park

Commun. ACM, May, 2024

An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations.

Sungjae Hwang, Sungho Lee, Sukyoung Ryu

IEEE Trans. Software Eng., April, 2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Proc. ACM Program. Lang., 2024

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation.

Jaemin Hong, Sukyoung Ryu

Proc. ACM Program. Lang., 2024

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks.

Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel

Proc. ACM Program. Lang., 2024

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions.

Jaemin Hong, Sukyoung Ryu

CoRR, 2024

2023

Declarative static analysis for multilingual programs using CodeQL.

Dongjun Youn, Sungho Lee, Sukyoung Ryu

Softw. Pract. Exp., July, 2023

Long-Term Mentoring for Computer Science Researchers.

Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer

Commun. ACM, May, 2023

Static Analysis of JNI Programs via Binary Decompilation.

Jihee Park, Sungho Lee, Jaemin Hong, Sukyoung Ryu

IEEE Trans. Software Eng., 2023

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

Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu

Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

Semantic Transformation Framework for Rewriting Rules.

Jihee Park, Jaemin Hong, Sukyoung Ryu

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs.

Jaemin Hong, Sukyoung Ryu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

A Survey of Parametric Static Analysis.

Jihyeok Park, Hongki Lee, Sukyoung Ryu

ACM Comput. Surv., 2022

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

Jihyeok Park, Seungmin An, Sukyoung Ryu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version).

Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu

CoRR, 2021

Accelerating JavaScript static analysis via dynamic shortcuts.

Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

JSTAR: JavaScript Specification Type Analyzer using Refinement.

Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification.

Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs.

Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

All about activity injection: Threats, semantics, detection, and defense.

Sungjae Hwang, Sungho Lee, Sukyoung Ryu

Softw. Pract. Exp., 2020

Automatically Tracing Imprecision Causes in JavaScript Static Analysis.

Hongki Lee, Changhee Park, Sukyoung Ryu

Art Sci. Eng. Program., 2020

Analysis of Blockchain Smart Contracts: Techniques and Insights.

Shinhae Kim, Sukyoung Ryu

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

JISET: JavaScript IR-based Semantics Extraction Toolchain.

Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis.

Sungho Lee, Hyogun Lee, Sukyoung Ryu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Gap between theory and practice: an empirical study of security patches in solidity.

Sungjae Hwang, Sukyoung Ryu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Weakly sensitive analysis for JavaScript object-manipulating programs.

Yoonseok Ko, Xavier Rival, Sukyoung Ryu

Softw. Pract. Exp., 2019

Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild.

Sukyoung Ryu, Jihyeok Park, Joonyoung Park

IEEE Softw., 2019

Polymorphic symmetric multiple dispatch with variance.

Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu

Proc. ACM Program. Lang., 2019

Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography Angiography Images Based on 3D Superellipsoid Modeling.

Myounghee Han, Yongjoo Kim, Jang Ryul Park, Benjamin J. Vakoc, Wang-Yuhl Oh, Sukyoung Ryu

Int. J. Image Graph., 2019

Adlib: analyzer for mobile ad platform libraries.

Sungho Lee, Sukyoung Ryu

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Towards understanding and reasoning about Android interoperations.

Sora Bae, Sungho Lee, Sukyoung Ryu

Proceedings of the 41st International Conference on Software Engineering, 2019

Automatic Modeling of Opaque Code for JavaScript Static Analysis.

Joonyoung Park, Alexander Jordan, Sukyoung Ryu

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework.

Se-Won Kim, Xavier Rival, Sukyoung Ryu

ACM Trans. Program. Lang. Syst., 2018

Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity.

Changhee Park, Hongki Lee, Sukyoung Ryu

Softw. Pract. Exp., 2018

Web Programming Chairs' Welcome & Organization.

Manuel Serrano, Sukyoung Ryu

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Path dependent types with path-equality.

Jaemin Hong, Jihyeok Park, Sukyoung Ryu

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

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

Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages.

Yeonhee Ryou, Sukyoung Ryu

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

<i>EventHandler</i>-Based Analysis Framework for Web Apps Using Dynamically Collected States.

Joonyoung Park, Kwangwon Sun, Sukyoung Ryu

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12).

Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu

NII Shonan Meet. Rep., 2017

Analysis of JavaScript Programs: Challenges and Research Trends.

Kwangwon Sun, Sukyoung Ryu

ACM Comput. Surv., 2017

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.

Jihyeok Park, Xavier Rival, Sukyoung Ryu

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

All about activity injection: threats, semantics, and detection.

Sungho Lee, Sungjae Hwang, Sukyoung Ryu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Analysis of JavaScript web applications using SAFE 2.0.

Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu

Proceedings of the 39th International Conference on Software Engineering, 2017

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications.

Sora Bae, Joonyoung Park, Sukyoung Ryu

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects.

Yoonseok Ko, Xavier Rival, Sukyoung Ryu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

ThisType for Object-Oriented Languages: From Theory to Practice.

Sukyoung Ryu

ACM Trans. Program. Lang. Syst., 2016

Scalable framework for parsing: from Fortress to JavaScript.

Sukyoung Ryu

Softw. Pract. Exp., 2016

Development nature matters: An empirical study of code clones in JavaScript applications.

Wai Ting Cheung, Sukyoung Ryu, Sunghun Kim

Empir. Softw. Eng., 2016

HybriDroid: static analysis framework for Android hybrid applications.

Sungho Lee, Julian Dolby, Sukyoung Ryu

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Battles with false positives in static analysis of JavaScript web applications in the wild.

Joonyoung Park, Inho Lim, Sukyoung Ryu

Proceedings of the 38th International Conference on Software Engineering, 2016

Journey to find bugs in JavaScript web applications in the wild.

Sukyoung Ryu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Precise and scalable static analysis of jQuery using a regular expression domain.

Changhee Park, Hyeonseung Im, Sukyoung Ryu

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact).

Changhee Park, Sukyoung Ryu

Dagstuhl Artifacts Ser., 2015

Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T).

Changhee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T).

Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity.

Changhee Park, Sukyoung Ryu

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Bittersweet ADB: Attacks and Defenses.

Sungjae Hwang, Sungho Lee, Yongdae Kim, Sukyoung Ryu

Proceedings of the 10th ACM Symposium on Information, 2015

2014

REST to JavaScript for better client-side development.

Hyunghun Cho, Sukyoung Ryu

Proceedings of the 23rd International World Wide Web Conference, 2014

SAFEWAPI: web API misuse detector for web applications.

SungGyeong Bae, Hyunghun Cho, Inho Lim, Sukyoung Ryu

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

A New Formalization of Subtyping to Match Subclasses to Subtypes.

Hyunik Na, Sukyoung Ryu

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

Inferring Grammatical Summaries of String Values.

Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

JavaScript module system: exploring the design space.

Junhee Cho, Sukyoung Ryu

Proceedings of the 13th International Conference on Modularity, 2014

2013

All about the with statement in JavaScript: removing with statements in JavaScript applications.

Changhee Park, Hongki Lee, Sukyoung Ryu

Proceedings of the DLS'13, 2013

ThisJava: An Extension of Java with Exact Types.

Hyunik Na, Sukyoung Ryu

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.

Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Exact type parameterization and ThisType support.

Hyunik Na, Sukyoung Ryu, Kwangmoo Choe

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Formal specification of a JavaScript module system.

Seonghoon Kang, Sukyoung Ryu

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Fortress (Sun HPCS Language).

Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu

Proceedings of the Encyclopedia of Parallel Computing, 2011

FortressCheck: automatic testing for generic properties.

Seonghoon Kang, Sukyoung Ryu

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.

Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.

Jieung Kim, Sukyoung Ryu

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Integrating coercion with subtyping and multiple dispatch.

J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Sci. Comput. Program., 2010

2009

Parsing Fortress syntax.

Sukyoung Ryu

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

2007

Modular multiple dispatch with multiple inheritance.

Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2005

Source-Level Debugging for Multiple Languages with Modest Programming Effort.

Sukyoung Ryu, Norman Ramsey

Proceedings of the Compiler Construction, 14th International Conference, 2005

2002

A cost-effective estimation of uncaught exceptions in Standard ML programs.

Kwangkeun Yi, Sukyoung Ryu

Theor. Comput. Sci., 2002

2001

Exception Analysis for Multithreaded Java Programs.

Sukyoung Ryu, Kwangkeun Yi

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1997

Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs.

Kwangkeun Yi, Sukyoung Ryu

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.

Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun

Proceedings of the COMPSAC '96, 1996