Sukyoung Ryu - RankMe

102 papers A* 17A 8B 10C 2Misc 4Journal 40Unranked 19

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