default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSukyoung Ryu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j27]Jaemin Hong
, Sukyoung Ryu:
Type-migrating C-to-Rust translation using a large language model. Empir. Softw. Eng. 30(1): 3 (2025)- 2024
- [j26]Sukyoung Ryu, Jihyeok Park:
JavaScript Language Design and Implementation in Tandem. Commun. ACM 67(5): 86-95 (2024) - [j25]Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel:
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. Proc. ACM Program. Lang. 8(OOPSLA2): 2156-2182 (2024) - [j24]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): 716-740 (2024) - [j23]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): 1559-1584 (2024) - [j22]Sungjae Hwang, Sungho Lee, Sukyoung Ryu:
An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations. IEEE Trans. Software Eng. 50(4): 979-994 (2024) - [j21]Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, LiGuo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong:
Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. 50(11): 2709-2711 (2024) - [i9]Jaemin Hong, Sukyoung Ryu:
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions. CoRR abs/2408.11418 (2024) - [i8]Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel:
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. CoRR abs/2409.00708 (2024) - 2023
- [j20]Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66(5): 33-35 (2023) - [j19]Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu:
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. Proc. ACM Program. Lang. 7(PLDI): 493-515 (2023) - [j18]Dongjun Youn, Sungho Lee, Sukyoung Ryu:
Declarative static analysis for multilingual programs using CodeQL. Softw. Pract. Exp. 53(7): 1472-1495 (2023) - [j17]Jihee Park, Sungho Lee, Jaemin Hong, Sukyoung Ryu:
Static Analysis of JNI Programs via Binary Decompilation. IEEE Trans. Software Eng. 49(5): 3089-3105 (2023) - [c54]Jaemin Hong, Sukyoung Ryu:
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. ICSE 2023: 716-728 - [c53]Jihee Park, Jaemin Hong, Sukyoung Ryu:
Semantic Transformation Framework for Rewriting Rules. PEPM@POPL 2023: 1-13 - [i7]Jaemin Hong, Sukyoung Ryu:
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. CoRR abs/2301.10943 (2023) - [i6]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 abs/2311.07223 (2023) - 2022
- [j16]Jihyeok Park, Hongki Lee, Sukyoung Ryu:
A Survey of Parametric Static Analysis. ACM Comput. Surv. 54(7): 149:1-149:37 (2022) - [c52]Jihyeok Park, Seungmin An, Sukyoung Ryu:
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis. ESEC/SIGSOFT FSE 2022: 1022-1034 - [e3]Sukyoung Ryu, Yannis Smaragdakis:
ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. ACM 2022, ISBN 978-1-4503-9379-9 [contents] - [i5]Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. CoRR abs/2208.04738 (2022) - 2021
- [c51]Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu:
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification. ICSE 2021: 13-24 - [c50]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: 156-157 - [c49]Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu:
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. ICSE (Companion Volume) 2021: 171-172 - [c48]Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu:
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. ICSE 2021: 1708-1718 - [c47]Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu:
JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE 2021: 606-616 - [c46]Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu:
Accelerating JavaScript static analysis via dynamic shortcuts. ESEC/SIGSOFT FSE 2021: 1129-1140 - [i4]Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu:
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. CoRR abs/2102.07498 (2021) - [i3]Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu:
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). CoRR abs/2105.13699 (2021) - 2020
- [j15]Hongki Lee, Changhee Park, Sukyoung Ryu:
Automatically Tracing Imprecision Causes in JavaScript Static Analysis. Art Sci. Eng. Program. 4(2): 2 (2020) - [j14]Sungjae Hwang, Sungho Lee, Sukyoung Ryu:
All about activity injection: Threats, semantics, detection, and defense. Softw. Pract. Exp. 50(7): 1061-1086 (2020) - [c45]Sungjae Hwang, Sukyoung Ryu:
Gap between theory and practice: an empirical study of security patches in solidity. ICSE 2020: 542-553 - [c44]Sungho Lee, Hyogun Lee, Sukyoung Ryu:
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis. ASE 2020: 127-137 - [c43]Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu:
JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE 2020: 647-658 - [c42]Shinhae Kim, Sukyoung Ryu:
Analysis of Blockchain Smart Contracts: Techniques and Insights. SecDev 2020: 65-73
2010 – 2019
- 2019
- [j13]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): 1950011:1-1950011:14 (2019) - [j12]Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu:
Polymorphic symmetric multiple dispatch with variance. Proc. ACM Program. Lang. 3(POPL): 11:1-11:28 (2019) - [j11]Sukyoung Ryu, Jihyeok Park, Joonyoung Park:
Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild. IEEE Softw. 36(3): 74-82 (2019) - [j10]Yoonseok Ko, Xavier Rival, Sukyoung Ryu:
Weakly sensitive analysis for JavaScript object-manipulating programs. Softw. Pract. Exp. 49(5): 840-884 (2019) - [c41]Joonyoung Park, Alexander Jordan, Sukyoung Ryu:
Automatic Modeling of Opaque Code for JavaScript Static Analysis. FASE 2019: 43-60 - [c40]Sora Bae, Sungho Lee, Sukyoung Ryu:
Towards understanding and reasoning about Android interoperations. ICSE 2019: 223-233 - [c39]Sungho Lee, Sukyoung Ryu:
Adlib: analyzer for mobile ad platform libraries. ISSTA 2019: 262-272 - [e2]Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom:
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019. ACM 2019, ISBN 978-1-4503-6824-7 [contents] - [i2]Hongki Lee, Changhee Park, Sukyoung Ryu:
Automatically Tracing Imprecision Causes in JavaScript Static Analysis. CoRR abs/1909.12795 (2019) - 2018
- [j9]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): 911-944 (2018) - [j8]Se-Won Kim, Xavier Rival, Sukyoung Ryu:
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Trans. Program. Lang. Syst. 40(3): 13:1-13:44 (2018) - [c38]Joonyoung Park, Kwangwon Sun, Sukyoung Ryu:
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States. FASE 2018: 129-145 - [c37]Yeonhee Ryou, Sukyoung Ryu:
Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages. ICST 2018: 182-192 - [c36]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: 63-68 - [c35]Jaemin Hong, Jihyeok Park, Sukyoung Ryu:
Path dependent types with path-equality. SCALA@ICFP 2018: 35-39 - [c34]Manuel Serrano, Sukyoung Ryu:
Web Programming Chairs' Welcome & Organization. WWW (Companion Volume) 2018: 679-680 - [e1]Sukyoung Ryu:
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4 [contents] - 2017
- [j7]Kwangwon Sun, Sukyoung Ryu:
Analysis of JavaScript Programs: Challenges and Research Trends. ACM Comput. Surv. 50(4): 59:1-59:34 (2017) - [c33]Yoonseok Ko, Xavier Rival, Sukyoung Ryu:
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS 2017: 148-168 - [c32]Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu:
Analysis of JavaScript web applications using SAFE 2.0. ICSE (Companion Volume) 2017: 59-62 - [c31]Sora Bae, Joonyoung Park, Sukyoung Ryu:
Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. FormaliSE@ICSE 2017: 72-78 - [c30]Sungho Lee, Sungjae Hwang, Sukyoung Ryu:
All about activity injection: threats, semantics, and detection. ASE 2017: 252-262 - [c29]Jihyeok Park, Xavier Rival, Sukyoung Ryu:
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. SOAP@PLDI 2017: 1-6 - [i1]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) - 2016
- [j6]Wai Ting Cheung, Sukyoung Ryu, Sunghun Kim:
Development nature matters: An empirical study of code clones in JavaScript applications. Empir. Softw. Eng. 21(2): 517-564 (2016) - [j5]Sukyoung Ryu:
Scalable framework for parsing: from Fortress to JavaScript. Softw. Pract. Exp. 46(9): 1219-1238 (2016) - [j4]Sukyoung Ryu:
ThisType for Object-Oriented Languages: From Theory to Practice. ACM Trans. Program. Lang. Syst. 38(3): 8:1-8:66 (2016) - [c28]Changhee Park, Hyeonseung Im, Sukyoung Ryu:
Precise and scalable static analysis of jQuery using a regular expression domain. DLS 2016: 25-36 - [c27]Sukyoung Ryu:
Journey to find bugs in JavaScript web applications in the wild. ICFP 2016: 2 - [c26]Joonyoung Park, Inho Lim, Sukyoung Ryu:
Battles with false positives in static analysis of JavaScript web applications in the wild. ICSE (Companion Volume) 2016: 61-70 - [c25]Sungho Lee, Julian Dolby, Sukyoung Ryu:
HybriDroid: static analysis framework for Android hybrid applications. ASE 2016: 250-261 - 2015
- [j3]Changhee Park, Sukyoung Ryu:
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact). Dagstuhl Artifacts Ser. 1(1): 12:1-12:2 (2015) - [c24]Sungjae Hwang, Sungho Lee, Yongdae Kim, Sukyoung Ryu:
Bittersweet ADB: Attacks and Defenses. AsiaCCS 2015: 579-584 - [c23]Changhee Park, Sukyoung Ryu:
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. ECOOP 2015: 735-756 - [c22]Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu:
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T). ASE 2015: 541-551 - [c21]Changhee Park, Sooncheol Won, Joonho Jin, Sukyoung Ryu:
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T). ASE 2015: 552-562 - 2014
- [c20]Junhee Cho, Sukyoung Ryu:
JavaScript module system: exploring the design space. MODULARITY 2014: 229-240 - [c19]Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu:
Inferring Grammatical Summaries of String Values. APLAS 2014: 372-391 - [c18]Hyunik Na, Sukyoung Ryu:
A New Formalization of Subtyping to Match Subclasses to Subtypes. FLOPS 2014: 238-252 - [c17]SungGyeong Bae, Hyunghun Cho, Inho Lim, Sukyoung Ryu:
SAFEWAPI: web API misuse detector for web applications. SIGSOFT FSE 2014: 507-517 - [c16]Hyunghun Cho, Sukyoung Ryu:
REST to JavaScript for better client-side development. WWW (Companion Volume) 2014: 937-942 - 2013
- [c15]Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.:
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS 2013: 156-171 - [c14]Hyunik Na, Sukyoung Ryu:
ThisJava: An Extension of Java with Exact Types. APLAS 2013: 233-240 - [c13]Changhee Park, Hongki Lee, Sukyoung Ryu:
All about the with statement in JavaScript: removing with statements in JavaScript applications. DLS 2013: 73-84 - 2012
- [c12]Seonghoon Kang, Sukyoung Ryu:
Formal specification of a JavaScript module system. OOPSLA 2012: 621-638 - [c11]Hyunik Na, Sukyoung Ryu, Kwangmoo Choe:
Exact type parameterization and ThisType support. TLDI 2012: 13-24 - 2011
- [c10]Jieung Kim, Sukyoung Ryu:
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. CPP 2011: 264-279 - [c9]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: 973-992 - [c8]Seonghoon Kang, Sukyoung Ryu:
FortressCheck: automatic testing for generic properties. SAC 2011: 1290-1296 - [r1]Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu:
Fortress (Sun HPCS Language). Encyclopedia of Parallel Computing 2011: 718-735 - 2010
- [j2]J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. 75(9): 787-795 (2010)
2000 – 2009
- 2009
- [c7]Sukyoung Ryu:
Parsing Fortress syntax. PPPJ 2009: 76-84 - 2008
- [c6]J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
Integrating coercion with subtyping and multiple dispatch. SAC 2008: 166-170 - 2007
- [c5]Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.:
Modular multiple dispatch with multiple inheritance. SAC 2007: 1117-1121 - 2005
- [c4]Sukyoung Ryu, Norman Ramsey:
Source-Level Debugging for Multiple Languages with Modest Programming Effort. CC 2005: 10-26 - 2002
- [j1]Kwangkeun Yi, Sukyoung Ryu:
A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. 277(1-2): 185-217 (2002) - 2001
- [c3]Sukyoung Ryu, Kwangkeun Yi:
Exception Analysis for Multithreaded Java Programs. APAQS 2001: 23-32
1990 – 1999
- 1997
- [c2]Kwangkeun Yi, Sukyoung Ryu:
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS 1997: 98-113 - 1996
- [c1]Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun:
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC 1996: 455-460
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-15 02:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
