| 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 | 512* | |
| The Fortress Language Specification Version 1.0alpha E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... Inc., September, 2006 | 345* | 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 | 345* | 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 | 142 | 2012 |
| 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 | 98 | 2012 |
| 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 | 92 | 2016 |
| 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 | 85 | 2014 |
| 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 | 75 | 2015 |
| 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 | 59 | 1997 |
| A cost-effective estimation of uncaught exceptions in Standard ML programs K Yi, S Ryu Theoretical Computer Science 277 (1-2), 185-217, 2002 | 53 | 2002 |
| Analysis of JavaScript programs: Challenges and research trends K Sun, S Ryu ACM Computing Surveys (CSUR) 50 (4), 1-34, 2017 | 49 | 2017 |
| 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 | 44 | 2016 |
| 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 | 43 | 2015 |
| 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 | 41 | 2016 |
| 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 | 38 | 2008 |
| 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 | 37 | 2005 |
| 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 | 35 | 2020 |
| 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 | 35 | 2016 |
| 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 | 34 | 2021 |
Eric AllenIndependent ResearcherVerified email at allen-research.com
