Publications

2020

  • Sungjae Hwang and Sukyoung Ryu, “Gap between Theory and Practice : An Empirical Study of Security Patches in Solidity,” Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE), May 2020.

  • Hongki Lee, Changhee Park, and Sukyoung Ryu, “Automatically Tracing Imprecision Causes in JavaScript Static Analysis,” <Programming> 2020, Volume 4, Issue 2, Article 2, March 2020.

  • Sungjae Hwang, Sungho Lee, and Sukyoung Ryu, “All about Activity Injection: Threats, Semantics, Detection, and Defense,” Software: Practice and Experience (SPE), (Early View) 2020.

2019

2018

2017

2016

2015

2014

Before 2014

  • Sukyoung Ryu, “Parsing Fortress Syntax,” Proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, August 2009.

  • Eric Allen, Ryan Culpepper, Janus Dam Nielsen, Jon Rafkind, and Sukyoung Ryu, “Growing a Syntax,” 2009 International Workshop on Foundations of Object-Oriented Languages, January 2009.

  • J.J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele Jr, “On Coercion for Object-Oriented Programming Languages,” Proceedings of the 23rd Annual ACM Symposium on Applied Computing, March 2008.

  • Eric Allen, J.J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele Jr, “Modular Multiple Dispatch with Multiple Inheritance,” Proceedings of the 22nd Annual ACM Symposium on Applied Computing, March 2007.

  • Sukyoung Ryu and Norman Ramsey, “Source-level Debugging for Multiple Languages With Modest Programming Effort,” Proceedings of the 14th International Conference on Compiler Construction, April 2005.

  • Kwangkeun Yi and Sukyoung Ryu, “A Cost-effective Estimation of Uncaught Exceptions in SML Programs,” Theoretical Computer Science, volume 277, number 1-2, pages 185-217, April 2002 (invited paper).

  • Sukyoung Ryu and Kwangkeun Yi, “Exception Analysis for Multithreaded Java Programs,” Proceedings of the Second Asia-Pacific Conference on Quality Software, December 2001.

  • Kwangkeun Yi and Sukyoung Ryu, “Towards A Cost-effective Estimation of Uncaught Exceptions in SML Programs,” Proceedings of the 4th International Static Analysis Symposium, Lecture Notes in Computer Science, volume 1302, pages 98-113, Springer-Verlag, September 1997.

  • Kwangkeun Yi, Sukyoung Ryu, and Ki-Hyun Pyun, “Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations,” Proceedings of the 20th Annual International Computer Software and Applications Conference, pages 455-460, August 1996.

Refereed Chapters in Books

Refereed Articles

  • Sukyoung Ryu, “Project Fortress: A Multicore Language for Scientists and Engineers,” Grace Hopper Celebration of Women in Computing, October 2008.

  • Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, and Guy L. Steele Jr, “Project Fortress: A Multicore Language for Multicore Processors,” Linux Magazine, September 2007.

Technical Reports