| 2023 | ICSE | Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. | Jaemin Hong, Sukyoung Ryu |
| 2023 | PEPM | Semantic Transformation Framework for Rewriting Rules. | Jihee Park, Jaemin Hong, Sukyoung Ryu |
| 2021 | ICSE | JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. | Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu |
| 2021 | ICSE | JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. | Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu |
| 2021 | ICSE | JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification. | Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu |
| 2021 | ICSE | JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. | Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu |
| 2020 | ICSE | Gap between theory and practice: an empirical study of security patches in solidity. | Sungjae Hwang, Sukyoung Ryu |
| 2019 | FASE | Automatic Modeling of Opaque Code for JavaScript Static Analysis. | Joonyoung Park, Alexander Jordan, Sukyoung Ryu |
| 2019 | ICSE | Towards understanding and reasoning about Android interoperations. | Sora Bae, Sungho Lee, Sukyoung Ryu |
| 2019 | ISSTA | Adlib: analyzer for mobile ad platform libraries. | Sungho Lee, Sukyoung Ryu |
| 2018 | FASE | Untitled record | Joonyoung Park, Kwangwon Sun, Sukyoung Ryu |
| 2018 | ICST | Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages. | Yeonhee Ryou, Sukyoung Ryu |
| 2018 | WWW | Web Programming Chairs' Welcome & Organization. | Manuel Serrano, Sukyoung Ryu |
| 2017 | APLAS | Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. | Yoonseok Ko, Xavier Rival, Sukyoung Ryu |
| 2017 | ICSE | Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. | Sora Bae, Joonyoung Park, Sukyoung Ryu |
| 2017 | ICSE | Analysis of JavaScript web applications using SAFE 2.0. | Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu |
| 2017 | PLDI | Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. | Jihyeok Park, Xavier Rival, Sukyoung Ryu |
| 2016 | DLS | Precise and scalable static analysis of jQuery using a regular expression domain. | Changhee Park, Hyeonseung Im, Sukyoung Ryu |
| 2016 | ICFP | Journey to find bugs in JavaScript web applications in the wild. | Sukyoung Ryu |
| 2016 | ICSE | Battles with false positives in static analysis of JavaScript web applications in the wild. | Joonyoung Park, Inho Lim, Sukyoung Ryu |
| 2015 | CCS | Bittersweet ADB: Attacks and Defenses. | Sungjae Hwang, Sungho Lee, Yongdae Kim, Sukyoung Ryu |
| 2015 | ECOOP | Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. | Changhee Park, Sukyoung Ryu |
| 2014 | APLAS | Inferring Grammatical Summaries of String Values. | Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu |
| 2014 | FLOPS | A New Formalization of Subtyping to Match Subclasses to Subtypes. | Hyunik Na, Sukyoung Ryu |
| 2014 | WWW | REST to JavaScript for better client-side development. | Hyunghun Cho, Sukyoung Ryu |
| 2013 | APLAS | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2013 | APLAS | ThisJava: An Extension of Java with Exact Types. | Hyunik Na, Sukyoung Ryu |
| 2013 | DLS | All about the with statement in JavaScript: removing with statements in JavaScript applications. | Changhee Park, Hongki Lee, Sukyoung Ryu |
| 2012 | OOPSLA | Formal specification of a JavaScript module system. | Seonghoon Kang, Sukyoung Ryu |
| 2011 | CPP | Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. | Jieung Kim, Sukyoung Ryu |
| 2011 | OOPSLA | 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. |
| 2011 | SAC | FortressCheck: automatic testing for generic properties. | Seonghoon Kang, Sukyoung Ryu |
| 2008 | SAC | Integrating coercion with subtyping and multiple dispatch. | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2007 | SAC | Modular multiple dispatch with multiple inheritance. | Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2005 | CC | Source-Level Debugging for Multiple Languages with Modest Programming Effort. | Sukyoung Ryu, Norman Ramsey |
| 1997 | SAS | Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. | Kwangkeun Yi, Sukyoung Ryu |
| 1996 | COMPSAC | Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. | Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun |