DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Ryu, Sukyoung

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 43 to 62 of 62

43	Parsing Fortress Syntax Ryu, Sukyoung, 7th International Conference on the Principles and Practice of Programming in Java, ACM, 2009-08-28
44	Partition-based coverage metrics and type-guided search in concolic testing for JavaScript applications Bae, Sora; Park, Joonyoung; Ryu, Sukyoung, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017, pp.72 - 78, Institute of Electrical and Electronics Engineers Inc., 2017-05-27
45	Path dependent types with path-equality Hong, Jaemin; Park, Jihyeok; Ryu, Sukyoung, 9th ACM SIGPLAN International Symposium on Scala (Scala) as part of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.35 - 39, ACM Press, 2018-09-28
46	Polymorphic symmetric multiple dispatch with variance Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; Ryu, Sukyoung, Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.1 - 28, Association for Computing Machinery (ACM), 2019-01-19
47	Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) Ko, Yoonseok; Lee, Hongki; Dolby, Julian; Ryu, Sukyoung, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.541 - 551, IEEE Computer Society and ACM SIGSFOT, 2015-11-13
48	Precise and scalable static analysis of jQuery using a regular expression domain Park, Changhee; Im, Hyeonseung; Ryu, Sukyoung, 12th Symposium on Dynamic Languages, DLS 2016, pp.25 - 36, Association for Computing Machinery, Inc, 2016-11-01
49	REST to JavaScript for Better Client-side Development Cho, Hyunghun; Ryu, Sukyoung, 5th International Workshop on Web APIs and RESTful Design, WWW, 2014-04-07
50	Revisiting recency abstraction for JavaScript: Towards an intuitive, compositional, and efficient heap abstraction Park, Jihyeok; Rival, Xavier; Ryu, Sukyoung, 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2017, pp.1 - 6, Association for Computing Machinery, Inc, 2017-06-18
51	SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Lee, Hongki; Won, Sooncheol; Jin, Joonho; Cho, Junhee; Ryu, Sukyoung, 19th International Workshop on Foundations of Object-Oriented Languages, ACM, 2012-10-22
52	SAFEWAPI: Web API Misuse Detector for Web Applications Bae, SungGyeong; Cho, Hyunghun; Lim, Inho; Ryu, Sukyoung, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), ACM Special Interest Group on Software Engineering (SIGSOFT), 2014-11-19
53	Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Park, Changhee; Ryu, Sukyoung, European Conference on Object-Oriented Programming, Association Internationale pour les Technologies Objets (AITO), 2015-07-10
54	Scalable framework for language development: from Fortress to JavaScript Ryu, Sukyoung, Workshop on Scalable Language Specification, Microsoft Research, 2013-06-25
55	Source-Level Debugging for Multiple Languages with Modest Programming Effort Ryu, Sukyoung; Ramsey, Norman, 14th International Conference on Compiler Construction, ETAPS, 2005-04-04
56	Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) Park, Changhee; Won, Sooncheol; Jin, Joonho; Ryu, Sukyoung, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.552 - 562, IEEE Computer Society and ACM SIGSFOT, 2015-11-13
57	ThisJava: An Extension of Java with Exact Types Na, Hyunik; Ryu, Sukyoung, Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software, 2013-12-10
58	Towards a Cost-effective Estimation of Uncaught Exceptions in SML Programs Ryu, Sukyoung; Yi, Kwangkeun, The 4th International Static Analysis Symposium, Springer, 1997-09-08
59	Towards Understanding and Reasoning about Android Interoperations Bae, Sora; Lee, Sungho; Ryu, Sukyoung, 41st IEEE/ACM International Conference on Software Engineering, ICSE 2019, pp.223 - 233, IEEE Computer Society, 2019-05-29
60	Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, pp.973 - 992, ACM SIGPLAN, 2011-10-27
61	Weakly sensitive analysis for unbounded iteration over JavaScript objects Ko, Yoonseok; Rival, Xavier; Ryu, Sukyoung, 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, pp.148 - 168, Springer Verlag, 2017-11-29
62	Web Programming Chairs’ Welcome Ryu, Sukyoung; Serrano, Manuel, 27th International World Wide Web, WWW 2018, pp.679 - 680, Association for Computing Machinery, 2018-04

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0