Folgen
Sukyoung Ryu
Sukyoung Ryu
Professor, School of Computing, KAIST
Bestätigte E-Mail-Adresse bei kaist.ac.kr
Titel
Zitiert von
Zitiert von
Jahr
The Fortress language specification Verstion 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, G Steele, ...
Sun Microsystems, available on line, 0
511*
The Fortress Language Specification Version 1.0alpha
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Inc., September, 2006
344*2006
The Fortress language specification version 0.707
E Allen, D Chase, V Luchangco, JW Maessen, S Ryu
Tobin-Hochstadt. The Fortress Language Specification. Sun Microsystems, 2005
344*2005
SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript
H Lee, S Won, J Jin, J Cho, S Ryu
FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012
1482012
HybriDroid: static analysis framework for Android hybrid applications
S Lee, J Dolby, S Ryu
Proceedings of the 31st IEEE/ACM international conference on automated …, 2016
1012016
Method and apparatus for expressing and checking relationships between types
S Ryu, EE Allen, VM Luchangco, JJ Hallett III, SY Tobin-Hochstadt
US Patent 8,225,294, 2012
992012
SAFEWAPI: Web API misuse detector for web applications
SG Bae, H Cho, I Lim, S Ryu
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
882014
Scalable and precise static analysis of JavaScript applications via loop-sensitivity
C Park, S Ryu
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
762015
Analysis of JavaScript programs: Challenges and research trends
K Sun, S Ryu
ACM Computing Surveys (CSUR) 50 (4), 1-34, 2017
592017
Towards a cost-effective estimation of uncaught exceptions in SML programs
K Yi, S Ryu
Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997
591997
A cost-effective estimation of uncaught exceptions in Standard ML programs
K Yi, S Ryu
Theoretical Computer Science 277 (1-2), 185-217, 2002
532002
Development nature matters: An empirical study of code clones in JavaScript applications
WT Cheung, S Ryu, S Kim
Empirical Software Engineering 21, 517-564, 2016
462016
Practically tunable static analysis framework for large-scale javascript applications (t)
Y Ko, H Lee, J Dolby, S Ryu
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
442015
Broadening horizons of multilingual static analysis: Semantic summary extraction from C code for JNI program analysis
S Lee, H Lee, S Ryu
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
422020
Battles with false positives in static analysis of JavaScript web applications in the wild
J Park, I Lim, S Ryu
Proceedings of the 38th International Conference on Software Engineering …, 2016
412016
Jest: N+ 1-version differential testing of both javascript engines and specification
J Park, S An, D Youn, G Kim, S Ryu
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
382021
GLS Jr., and S. Tobin-Hochstadt. The fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu
version 1.0. Technical report, Sun Microsystems, Inc, 2008
382008
Growing a syntax
E Allen, R Culpepper, JD Nielsen, J Rafkind, S Ryu
Proceedings of Workshop on Foundations of Object-Oriented Languages, 2009
37*2009
The Fortress language specification version 0.618
E Allan, D Chase, V Luchangco, JW Maessen, S Ryu, GL Steele Jr, ...
Technical report, Sun Microsystems, 2005
372005
Precise and scalable static analysis of jQuery using a regular expression domain
C Park, H Im, S Ryu
Proceedings of the 12th Symposium on Dynamic Languages, 25-36, 2016
362016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20