Sukyoung Ryu
Korea Advanced Institute of Science and Technology(KR)
Publications by Year
Research Areas
Logic, programming, and type systems, Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Software Engineering Research
Most-Cited Works
- The Fortress Language Specification(2007)
- → HybriDroid: static analysis framework for Android hybrid applications(2016)78 cited
- SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript(2012)
- → SAFEWAPI: web API misuse detector for web applications(2014)61 cited
- → Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity(2015)42 cited
- → Analysis of JavaScript Programs(2017)36 cited
- → Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs(2019)34 cited
- → Towards a cost-effective estimation of uncaught exceptions in SML programs(1997)32 cited
- → Broadening horizons of multilingual static analysis(2020)28 cited
- → Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)(2015)28 cited