Följ
Sukyoung Ryu
Sukyoung Ryu
Professor, School of Computing, KAIST
Verifierad e-postadress på kaist.ac.kr
Titel
Citeras av
Citeras av
År
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
510*
The Fortress Language Specification Version 1.0alpha
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Inc., September, 2006
343*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
343*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
1512012
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
1022016
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), 735-756, 2015
762015
Analysis of JavaScript programs: Challenges and research trends
K Sun, S Ryu
ACM Computing Surveys (CSUR) 50 (4), 1-34, 2017
582017
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
571997
A cost-effective estimation of uncaught exceptions in Standard ML programs
K Yi, S Ryu
Theoretical Computer Science 277 (1-2), 185-217, 2002
502002
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
442016
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
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
432016
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
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
392008
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
Gap between theory and practice: An empirical study of security patches in solidity
S Hwang, S Ryu
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
362020
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20