Publications

J.J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele Jr, "Integrating Coercion with Subtyping and Multiple Dispatch," Science of Computer Programming, volume 75, number 9, pages 787-795, September 2010.

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).

Hyunik Na, Sukyoung Ryu, and Kwangmoo Choe, " Exact Type Parameterization and ThisType Support," Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation, January 2012.

Jieung Kim and Sukyoung Ryu, "Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance," Proceedings of the 1st International Conference on Certified Programs and Proofs, December 2011.

Eric Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, and Guy L. Steele Jr., " Type-Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance," Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications 2011, October 2011.

Changhee Park, Hongki Lee, and Sukyoung Ryu, "An Empirical Study on the Rewritability of the with Statement in JavaScript," 2011 International Workshop on Foundations of Object-Oriented Languages, October 2011.

Seonghoon Kang and Sukyoung Ryu, "FortressCheck: Automatic Testing for Generic Properties," Proceedings of the 26th ACM Symposium on Applied Computing, March 2011.

Sukyoung Ryu, Changhee Park and Guy L. Steele Jr., "Adding Pattern Matching to Existing Object-Oriented Languages," 2010 International Workshop on Foundations of Object-Oriented Languages, October 2010.

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.

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.

Joe Hallett, Eric Allen, and Sukyoung Ryu, "Implementing Hidden Type Variables in HTV1," PLT Redex Chapter, August 2009.

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.

Changhee Park, Hongki Lee, and Sukyoung Ryu, "An Empirical Study on the Rewritability of the with Statement in JavaScript" Technical Report, KAIST, October 2011.

Hyunik Na, Sukyoung Ryu, and Kwangmoo Choe, " Exact Type Parameterization and ThisType Support (Proofs)" Technical Report, KAIST, October 2011.

Seonghoon Kang and Sukyoung Ryu, "Formal Specification of a JavaScript Module System" Technical Report, KAIST, December 2011.

Jieung Kim and Sukyoung Ryu, "FFMM: Featherweight Fortress with Multiple Dispatch and Multiple Inheritance" Technical Report, KAIST, June 2011.