Browse "School of Computing(전산학부)" by Author Ryu, Sukyoung
Showing results 1 to 60 of 103
| A cost-effective estimation of uncaught exceptions in Standard ML programs Yi, Kwangkeun; Ryu, Sukyoung, THEORETICAL COMPUTER SCIENCE, v.277, no.1-2, pp.185 - 217, 2002-04 |
| A framework for dynamic inter-device task dispatch with eventual consistency Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12 |
| A New Formalization of Subtyping to Match Subclasses to Subtypes Na, Hyunik; Ryu, Sukyoung, 12th International Symposium on Functional and Logic Programming, ACM SIGPLAN, 2014-06-05 |
| A Survey of Parametric Static Analysis Park, Jihyeok; Lee, Hongki; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.54, no.7, 2021-09 |
| A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08 |
| (A) survey on security of blockchain smart contracts : research trends and insights = 블록체인 스마트 컨트랙트의 보안에 관한 조사 : 연구 동향 및 통찰link Kim, Shinhae; Ryu, Sukyoung; et al, 한국과학기술원, 2020 |
| Accelerating JavaScript static analysis via dynamic shortcuts Park, Joonyoung; Park, Jihyeok; Youn, Dongjun; Ryu, Sukyoung, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1129 - 1140, ACM, 2021-08-20 |
| Adding Pattern Matching to Existing Object-Oriented Languages Ryu, Sukyoung; Park, Changhee; Guy L. Steele Jr., 2010 International Workshop on Foundations of Object-Oriented Languages, ACM, 2010-10-17 |
| Adlib: Analyzer for mobile ad platform libraries Lee, Sungho; Ryu, Sukyoung, 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, pp.262 - 272, Association for Computing Machinery, Inc, 2019-07-19 |
| All about activity injection: Threats, semantics, and detection Lee, Sungho; Hwang, Sungjae; Ryu, Sukyoung, 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pp.252 - 262, Institute of Electrical and Electronics Engineers Inc., 2017-11-03 |
| All about activity injection: Threats, semantics, detection, and defense Hwang, Sungjae; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.50, no.7, pp.1061 - 1086, 2020-07 |
| All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications Park, Changhee; Lee, Hongki; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.49, no.2, pp.73 - 84, 2014-02 |
| All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications Park, Changhee; Lee, Hongki; Ryu, Sukyoung, Dynamic Language Symposium, pp.73 - 84, ACM, 2013-10-28 |
| An Empirical Study on the Rewritability of the with Statement in JavaScript Park, Changhee; Lee, Hongki; Ryu, Sukyoung, 2011 International Workshop on Foundations of Object-Oriented Languages, ACM, 2011-10-23 |
| Analysis of Blockchain Smart Contracts: Techniques and Insights Kim, Shinhae; Ryu, Sukyoung, 2020 IEEE Secure Development (SecDev), pp.65 - 73, IEEE Computer Society Technical Committee on Security and Privacy, 2020-09-30 |
| Analysis of JavaScript Programs: Challenges and Research Trends Sun, Kwangwon; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.50, no.4, 2017-11 |
| Analysis of JavaScript web applications using SAFE 2.0 Park, Jihyeok; Ryou, Yeonhee; Park, Joonyoung; Ryu, Sukyoung, 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, pp.59 - 62, Institute of Electrical and Electronics Engineers Inc., 2017-05-28 |
| Analyzing javascript web applications in the wild (Mostly) statically Ryu, Sukyoung, 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, Springer Verlag, 2015-11 |
| Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages Ryou, Yeonhee; Ryu, Sukyoung, 11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, pp.182 - 192, Institute of Electrical and Electronics Engineers Inc., 2018-04-13 |
| Automatic detection of visibility faults by layout changes in HTML5 web pages = HTML5 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기link Ryou, Yeonhee; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
| Automatic modeling of opaque code for javascript static analysis Park, Joonyoung; Jordan, Alexander; Ryu, Sukyoung, 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, pp.43 - 60, Springer Verlag, 2019-04-09 |
| Automatically deriving JavaScript double debugger from language specification = 자바스크립트 명세로부터 실행 상태를 관찰 및 제어할 수 있는 도구 자동 유도link An, Seungmin; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
| Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis Park, Jihyeok; An, Seungmin; Ryu, Sukyoung, ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1022 - 1034, ACM, 2022-11-14 |
| Automatically Tracing Imprecision Causes in JavaScript Static Analysis Lee, Hongki; Park, Changhee; Ryu, Sukyoung, The Art, Science, and Engineering of Programming, v.4, no.2, pp.2, 2019-10 |
| Battles with false positives in static analysis of JavaScript web applications in the wild Park, Joonyoung; Lim, Inho; Ryu, Sukyoung, 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016, pp.61 - 70, IEEE Computer Society and ACM SIGSOFT, 2016-05-22 |
| Bittersweet ADB: Attacks and Defenses Hwang, SungJae; Lee, Sung-ho; Kim, Yongdae; Ryu, Sukyoung, ACM Symposium on Information, Computer and Communications Security, ACM, 2015-04-17 |
| Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis Lee, Sungho; Lee, Hyogun; Ryu, Sukyoung, IEEE/ACM International Conference on Automated Software Engineering 2020, pp.127 - 137, IEEE/ACM, 2020-09-22 |
| Building a sound and practical static analysis framework for JavaScript web applications in the wild = 자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구link Park, Changhee; 박창희; et al, 한국과학기술원, 2016 |
| Composing static analyzers for bug and security vulnerability detection in multilingual android applications = 정적 분석기들의 결합을 통한 다양한 언어로 개발된 안드로이드 앱의 결함 및 보안 취약성 검출link 이성호; Ryu, Sukyoung; et al, 한국과학기술원, 2020 |
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs Hong, Jaemin; Ryu, Sukyoung, 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, pp.716 - 728, IEEE Computer Society, 2023-05-17 |
| Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance Kim, Jieung; Ryu, Sukyoung, First International Conference on Certified Programs and Proofs, CPP, 2011-12-09 |
| Declarative static analysis for multilingual programs using CodeQL Youn, Dongjun; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.53, no.7, pp.1472 - 1495, 2023-07 |
| Detection of three-dimensional information of blood and lymphatic vessels in optical coherence tomography images = 광간섭단층촬영 영상에서 혈관 및 림프관의 3차원적 정보 검출link Han, Myounghee; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
| Development nature matters: An empirical study of code clones in JavaScript applications Cheung, Wai Ting; Ryu, Sukyoung; Kim, Sunghun, EMPIRICAL SOFTWARE ENGINEERING, v.21, no.2, pp.517 - 564, 2016-04 |
| Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations Ryu, Sukyoung; Yi, Kwangkeun; Pyun, Ki-Hyun, 20th Computer Software and Applications Conference, IEEE Computer Society, 1996-08-23 |
| Eventhandler-based analysis framework for web apps using dynamically collected states Park, Joonyoung; Sun, Kwangwon; Ryu, Sukyoung, 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, pp.129 - 145, Springer Verlag, 2018-04-18 |
| Exact Type Parameterization and ThisType Support Na, Hyunik; Ryu, Sukyoung; Choe, Kwang-Moo, The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, ACM, 2012-01-28 |
| Exception Analysis for Multithreaded Java Programs Ryu, Sukyoung; Yi, Kwangkeun, 2nd Asia-Pacific Conference on Quality Software, IEEE Computer Society, 2001-12-10 |
| Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Park, Jihyeok; Youn, Dongjun; Lee, Kanguk; Ryu, Sukyoung, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, 2023-06 |
| Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Park, Jihyeok; Youn, Dongjun; Lee, Kanguk; Ryu, Sukyoung, 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), pp.493 - 515, Association for Computing Machinery (ACM), 2023-06-21 |
| Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance Kim, Jieung; Ryu, Sukyoung; Luchangco, Victor; Steele Jr. , Guy L., Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software, 2013-12-09 |
| Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
| Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
| Formal specification of a JavaScript module system Kang, Seonghoon; Ryu, Sukyoung, ACM international conference on Object oriented programming systems languages and applications, ACM SIGPLAN, 2012-10-26 |
| FortressCheck: Automatic testing for generic properties Kang Seonghoon; Ryu, Sukyoung, 26th Annual ACM Symposium on Applied Computing, SAC 2011, pp.1290 - 1296, ACM Special Interest Group on Applied Computing (SIGAPP), 2011-03-21 |
| Gap between theory and practice : AAn empirical study of security patches in solidity Hwang, SungJae; Ryu, Sukyoung, 42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020, pp.542 - 553, IEEE Computer Society, 2020-07-09 |
GPU-Accelerated Framework for Intracoronary Optical Coherence Tomography Imaging at the Push of a Button Han, Myounghee; Kim, Kyunghun; Jang, Sun Joo; Cho, Han Saem; Bouma, Brett E.; Oh, Wang-Yuhl; Ryu, Sukyoung, PLOS ONE, v.10, no.4, 2015-04 |
| Growing a Syntax Allen, Eric; Culpper, Ryan; Nielsen, Janus Dam; Rafkind, Jon; Ryu, Sukyoung, 2009 International Workshop on Foundations of Object-Oriented Languages, ACM, 2009-01-24 |
| High-Speed Automatic Segmentation of Intravascular Stent Struts in Optical Coherence Tomography Images Han, Myounghee; Kim, Dongkwan; Oh, Wang-Yuhl; Ryu, Sukyoung, International Forum on Medical Imaging in Asia, IFMIA, 2012-11-16 |
| High-speed automatic segmentation of intravascular stent struts in optical coherence tomography images Han, Myounghee; Kim, Dongkwan; Oh, Wangyuhl; Ryu, Sukyoung, Photonics West, SPIE, 2013-02-02 |
| HybriDroid: Static analysis framework for android hybrid applications Lee, Sungho; Dolby, Julian; Ryu, Sukyoung, 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pp.250 - 261, IEEE Computer Society and ACM SIGSFOT, 2016-09-07 |
| Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016 |
| Inferring Grammatical Summaries of String Values Kim, Se-Won; Chin, Wooyoung; Park, Jimin; Kim, Jeongmin; Ryu, Sukyoung, 12th Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software (AAFS), 2014-11-19 |
| Integrating Coercion with Subtyping and Multiple Dispatch Ryu, Sukyoung; Hallett, J.J.; Luchangco, Victor; Steele Jr. Guy L., The 23rd ACM Symposium on Applied Computing, ACM, 2008-03-18 |
| Integrating coercion with subtyping and multiple dispatch Hallett, J. J.; Luchangco, Victor; Ryu, Sukyoung; Steele, Guy L., Jr., SCIENCE OF COMPUTER PROGRAMMING, v.75, pp.787 - 795, 2010-09 |
| Intravascular in vivo imaging using a clinically available ICG wih OCT/NIRF system Cho, Han Saem; Lee, Min Woo; Lee, Sunki; Song, Joon Woo; Jang, Sun Joo; Kim, Tae Shik; Kim, Kyung Hun; et al, Nano-Bio Sensing, Imaging & Spectroscopy 2015, Optical Society of Korea, Korean Sensors Society, Korea Bio Chip Society, SPIE, 2015-02-25 |
| Intravascular structural/molecular imaging in-vivo using a clinically available ICG with high-speed OCT/NIRF hybrid system Cho, Han Saem; Lee, Min Woo; Lee, Sunki; Kim, Sun Won; Song, Joon Woo; Kim, Kyung Hun; Kim, Tae Shik; et al, SPIE Photonics West 2015, SPIE, 2015-02-08 |
| JavaScript Module System: Exploring the Design Space Cho, Junhee; Ryu, Sukyoung, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.229 - 240, Association for Computing Machinery, 2014-04-24 |
| JavaScript static analysis for evolving language specifications = 성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석link Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
| JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989