Publications

2024

• • Jaemin Hong and Sukyoung Ryu, "Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation," Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2024.

  • Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg, "Bringing the WebAssembly Standard up to Speed with SpecTec," Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2024.

  • Sungjae Hwang, Sungho Lee, and Sukyoung Ryu, "An Empirical Study of JVMs’ Behaviors on Erroneous JNI Interoperations," IEEE Transactions on Software Engineering (TSE), To appear.

  • Sukyoung Ryu and Jihyeok Park, "JavaScript Language Design and Implementation in Tandem," Communications of the ACM (CACM), To appear.

2023

• • Dongjun Youn, Sungho Lee, and Sukyoung Ryu, "Declarative Static Analysis for Multilingual Programs using CodeQL," Software: Practice and Experience (SPE), Volume 53, Issue 7, July 2023.

  • Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu, "Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations," Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2023.

  • Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, and Talia Ringer, "Long-Term Mentoring for Computer Science Researchers," Communications of the ACM (CACM), Volume 66, No. 5, May 2023.

  • Jihee Park*, Sungho Lee*, Jaemin Hong, and Sukyoung Ryu, "Static Analysis of JNI Programs via Binary Decompilation," IEEE Transactions on Software Engineering (TSE), Volume 49, No. 5, May 2023.

  • Jaemin Hong, “Improving Automatic C-to-Rust Translation with Static Analysis,” Proceedings of the 45th IEEE/ACM International Conference on Software Engineering Doctoral Symposium track (ICSE DS), May 2023.

  • Jaemin Hong and Sukyoung Ryu, “Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent  Programs," Proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE), May 2023.

  • Jihee Park, Jaemin Hong, and Sukyoung Ryu, “Semantic Transformation Framework for Rewriting Rules,” Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), January 2023.

2022

• • Jihyeok Park, Seungmin An, and Sukyoung Ryu, “Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis,” Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), November 2022.

• Sukyoung Ryu, Jihyeok Park, and Seungmin An, “Filling the gap between the JavaScript language specification and tools using the JISET family,” (video) The 43rd ACM SIGLAN Conference on Programming Language Design and Implementation (PLDI) Tutorial, June 2022.

2021

• Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu, “JSTAR: JavaScript Specification Type Analyzer using Refinement,” Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2021.

• Joonyoung Park*, Jihyeok Park*, Dongjun Youn, and Sukyoung Ryu, “Accelerating JavaScript Static Analysis via Dynamic Shortcuts,” Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), August 2021.

• Jihyeok Park, “JavaScript Static Analysis with Evolving Engines and Specification,” Proceedings of the 35th European Conference on Object-Oriented Programming and Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis Doctoral Symposium track (ECOOP/ISSTA DS), July 2021.

• Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu, “A Survey of Parametric Static Analysis,” ACM Computing Surveys (CSUR), Volume 54, Issue 7, Article No. 149, pp 1–37, July 2021

• Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu, “JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification,” (video) Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE), May 2021. ACM SIGSOFT Distinguished Paper Award.

• Sungjae Hwang, Sungho Lee, Jihoon Kim, and Sukyoung Ryu, “JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs,” (video ) Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE), May 2021.

2020

• Jihyeok Park, Jihee Park, Seungmin An, and Sukyoung Ryu, “JISET: JavaScript IR-based Semantics Extraction Toolchain,” Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2020.

• Sungho Lee, Hyogun Lee, and Sukyoung Ryu, “Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis,” Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2020. ACM SIGSOFT Distinguished Paper Award.

• Shinhae Kim and Sukyoung Ryu, “Analysis of Blockchain Smart Contracts: Techniques and Insights,” (video) Proceedings of the IEEE Secure Development Conference 2020 (SecDev 2020), September 2020.

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

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

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

2019

• Sungho Lee and Sukyoung Ryu, “Adlib: Analyzer for Mobile Ad Platform Libraries,” Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2019.

• Sungho Lee, “JNI Program Analysis with Automatically Extracted C Semantic Summary,” Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis Doctoral Symposium track (ISSTA DS), July 2019.

• Sukyoung Ryu, Jihyeok Park, and Joonyoung Park, “Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild,” IEEE Software, Volume 36 Issue 3, May-June 2019.

• Sora Bae, Sungho Lee, and Sukyoung Ryu, “Towards Understanding and Reasoning about Android Interoperations,” Proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE), May 2019.

• Yoonseok Ko, Xavier Rival, and Sukyoung Ryu, “Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs,” Software: Practice and Experience (SPE), Volume 49 Issue 5, May 2019.

• Myounghee Han, Yongjoo Kim, Jang Ryul Park, Benjamin J. Vakoc, Wang-Yuhl Oh, and Sukyoung Ryu, “Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography Angiography Images Based on 3D Superellipsoid Modeling,” International Journal of Image and Graphics, Volume 19 Issue 2, May 2019.

• Joonyoung Park, Alexander Jordan, and Sukyoung Ryu, “Automatic Modeling of Opaque Code for JavaScript Static Analysis,” Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), April 2019.

• Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., and Sukyoung Ryu, “Polymorphic Symmetric Multiple Dispatch with Variance,” (video) (Extended Technical Report) Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2019.

2018

• Jaemin Hong, Jihyeok Park, and Sukyoung Ryu, “Path Dependent Types with Path-Equality,” Proceedings of the 9th ACM SIGPLAN Symposium on Scala, September 2018.

• Se-won Kim, Xavier Rival, and Sukyoung Ryu, “A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework,” ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 40 Issue 3, Article No. 13, August 2018.

• Taejin Park, Sun-Joo Jang, Myounghee Han, Sukyoung Ryu, and Wang-Yuhl Oh, “Wide Dynamic Range High-speed Three-dimensional Quantitative OCT Angiography with Hybrid-beam Scan,” Optics Letters, Volume 43 Issue 10, 2018.

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “Static Analysis of JavaScript Libraries in a Scalable and Precise Way Using Loop-Sensitivity,” Software: Practice and Experience (SPE), Volume 48 Issue 4, April 2018.

• Sukyoung Ryu, “Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities,” Keynote Talk at <Programming> 2018, April 2018.

• Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu “A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency,” Proceedings of the 2nd International Workshop on Programming Technology for the Future Web (ProWeb), April 2018.

• Joonyoung Park, Kwangwon Sun, and Sukyoung Ryu, “EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States,” Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE), April 2018.

• Yeonhee Ryou and Sukyoung Ryu, “Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages,” Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST), April 2018.

2017

• Sungho Lee, Sungjae Hwang, and Sukyoung Ryu, “All about Activity Injection: Threats, Semantics, and Detection,” Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2017.

• Yoonseok Ko, Xavier Rival, and Sukyoung Ryu, “Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects,” Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017.

• Kwangwon Sun and Sukyoung Ryu, “Analysis of JavaScript Programs: Challenges and Research Trends,” ACM Computing Surveys, Volume 50 Issue 4, Article No. 59, November 2017.

• Keunhong Lee, Shinae Woo, Sanghyeon Seo, Jihyeok Park, Sukyoung Ryu, and Sue Moon, “Toward Building Memory-safe Network Functions with Modest Performance Overhead,” Proceedings of the 3rd SIGCOMM Workshop on Networking and Programming Languages (NetPL '17), August 2017.

• Sukyoung Ryu, Alexander Jordan, and Dongsun Kim, “Bug Detection in JavaScript Web Apps using the SAFE Framework,” “SAFE Tutorial: Taint Analysis for Web Applications,” and “Applying SAFE to Big-Code,” PLDI Tutorial, June 2017.

• Jihyeok Park, Xavier Rival and Sukyoung Ryu, “Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction,” (Extended Technical Report) Proceedings of the International Workshop on the State Of the Art in Java Program Analysis (SOAP), June 2017. Best Paper Award.

• Sora Bae, Joonyoung Park, and Sukyoung Ryu, “Partition-based Coverage Metrics and Type-guided Search in Concolic Testing for JavaScript Applications,” Proceedings of the 5th Workshop on Formal Methods in Software Engineering (FormaliSE), May 2017.

• Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu, “Analysis of JavaScript Web Applications Using SAFE 2.0,” Demo Video, Proceedings of the 39th International Conference on Software Engineering (ICSE) Demonstrations track, May 2017.

Before 2017

• Changhee Park, Hyeonseung Im, and Sukyoung Ryu, “ Precise and Scalable Static Analysis of jQuery Using a Regular Expression Domai,” Proceedings of Dynamic Language Symposium (DLS), October 2016.

• Sukyoung Ryu, “Journey to Find Bugs in JavaScript Web Applications in the Wild,” (video) Keynote Talk at the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), September 2016.

• Sukyoung Ryu, “Scalable Framework for Parsing: from Fortress to JavaScript,” Software: Practice and Experience (SPE), Volume 46, Issue 9, Pages 1219-1238, September 2016.

• Sungho Lee, Julian Dolby, and Sukyoung Ryu, “HybriDroid: Static Analysis Framework for Android Hybrid Applications,” Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2016.

• Sukyoung Ryu, “ThisType for Object-Oriented Languages: From Theory to Practice,” ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 38 Issue 3, Article No. 8, May 2016.

• Joonyoung Park, Inho Lim, and Sukyoung Ryu, “Battles with False Positives in Static Analysis of JavaScript Web Applications in the Wild,” Proceedings of the 38th International Conference on Software Engineering (ICSE) Software Engineering In Practice (SEIP) track, May 2016.

• Wai Ting Cheung, Sukyoung Ryu, and Sunghun Kim, “Development Nature Matters: An Empirical Study of Code Clones in JavaScript Applications,” Empirical Software Engineering (EMSE), volume 21, number 2, pages 517-564, April 2016.

• Changhee Park, Sooncheol Won, Joonho Jin, and Sukyoung Ryu, “Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling,” Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2015.

• Yoonseok Ko, Hongki Lee, Julian Dolby, and Sukyoung Ryu, “Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications,” Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2015.

• Changhee Park and Sukyoung Ryu, “Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity,” Proceedings of the European Conference on Object-Oriented Programming (ECOOP), July 2015. Best Artifact Award.

• Myounghee Han, Kyunghun Kim, Sun-Joo Jang, Han Saem Cho, Brett E. Bouma, Wang-Yuhl Oh, and Sukyoung Ryu, “GPU-accelerated Framework for Intracoronary Optical Coherence Tomography Imaging at the Push of a Button,” PLOS ONE, volume 10, number 4, April 2015.

• Sungjae Hwang, Sungho Lee, Yongdae Kim, and Sukyoung Ryu, “Bittersweet ADB: Attacks and Defenses,” Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, April 2015.

• Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, and Sukyoung Ryu, “Inferring Grammatical Summaries of String Values,” Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS), November 2014.

• SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu, “SAFE_WAPI: Web API Misuse Detector for Web Applications,” Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), November 2014.

• Hyunik Na and Sukyoung Ryu, “A New Formalization of Subtyping to Match Subclasses to Subtypes,” Proceedings of the 12th International Symposium on Functional and Logic Programming (FLOPS), June 2014.

• Sora Bae, “Concolic Testing with Static Analysis for JavaScript Applications,” Proceedings of the 13th International Conference on Modularity, April 2014. ACM Student Research Competition 2nd.

• Jihyeok Park, “JavaScript API Misuse Detection by Using TypeScript,” Proceedings of the 13th International Conference on Modularity, April 2014. ACM Student Research Competition 3rd.

• Hyunghun Cho and Sukyoung Ryu, “REST to JavaScript for Better Client-side Development,” Proceedings of the 5th International Workshop on Web APIs and RESTful Design at WWW2014, April 2014.

• Junhee Cho and Sukyoung Ryu, “JavaScript Module System: Exploring the Design Space,” Proceedings of the 13th International Conference on Modularity, April 2014.

• Jieung Kim, Sukyoung Ryu, Victor Luchangco, and Guy L. Steele Jr., “Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance,” Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS), December 2013.

• Hyunik Na and Sukyoung Ryu, “ThisJava: An Extension of Java with Recursive Types,” Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS), December 2013.

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “All about the ''with'' Statement in JavaScript: Removing ''with'' Statements in JavaScript Applications,” Proceedings of Dynamic Language Symposium (DLS), October 2013.

• Sukyoung Ryu, “Scalable Framework for Language Development: from Fortress to JavaScript,” Workshop on Scalable Language Specification, June 2013.

• Junhee Cho, “Rewriting JavaScript Module System,” Proceedings of the 12th Annual International Conference Companion on Aspect-oriented Software Development, March 2013. ACM Student Research Competition (Undergraduate) 1st.

• Myounghee Han, Dongkwan Kim, Wang-Yuhl Oh, and Sukyoung Ryu, “High-Speed Automatic Segmentation of Intravascular Stent Struts in Optical Coherence Tomography Images,” Proceedings of Biomedical Optics, 2013 Photonics West, February 2013.

• Myounghee Han, Dongkwan Kim, Wang-Yuhl Oh, and Sukyoung Ryu, “High-Speed Automatic Segmentation of Intravascular Stent Struts in Optical Coherence Tomography Images,” Proceedings of the International Forum on Medical Imaging in Asia 2012, November 2012.

• Seonghoon Kang and Sukyoung Ryu, “Formal Specification of a JavaScript Module System,” Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October 2012.

• Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, Sukyoung Ryu, “SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript,” 2012 International Workshop on Foundations of Object-Oriented Languages (FOOL), October 2012.

• 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 (TLDI), 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 (CPP), 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 (OOPSLA), 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 (FOOL), 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.

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

• 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

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

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

• Junhee Cho and Sukyoung Ryu, “JavaScript Module System: Exploring the Design Space (Extended with Formalization” Technical Report, KAIST, July 2013.

• Hyunik Na and Sukyoung Ryu, “A New Formalization of Subtyping to Match Subclasses to Subtypes” Technical Report, KAIST, July 2013.

• Changhee Park, Hongki Lee, and Sukyoung Ryu, “ All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications” Technical Report, KAIST, June 2013.

• Jieung Kim and Sukyoung Ryu, “MFFMM: Module Featherweight Fortress with Multiple Dispatch and Multiple Inheritance” Technical Report, KAIST, June 2013.

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

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

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