Sukyoung Ryu. Member of Technical Staff Mailstop UBUR Sun Microsystems Laboratories 35 Network Dr. Burlington, Massachusetts

Transcription

1 Sukyoung Ryu Member of Technical Staff Mailstop UBUR Sun Microsystems Laboratories 35 Network Dr. Burlington, Massachusetts Phone: (617) Fax: (781) Work Experience Sun Microsystems Laboratories Burlington, Massachusetts 02/2005 present Member of Technical Staff Project Fortress Leading the task of releasing public versions of the Fortress programming language specification. Leading the effort to construct several core calculi of the Fortress programming language (each describing distinct aspects of the Fortress language semantics) and to prove these calculi sound. Leading various implementation tasks including code restructuring, tool integration, and code review which immensely improved the productivity of the development. Developed the concrete syntax grammar for the entire Fortress syntax and built a new Fortress parser that runs entirely on the JVM. Mentoring and thesis advising graduate students from several universities including MIT and Harvard University as Sun Laboratories internships. Harvard University Cambridge, Massachusetts 10/ /2005 Research Associate at the Division of Engineering and Applied Sciences Debugging Everywhere project Implemented the up-to-date ldb debugger working on Sparc, Mips, and X86. Identified the contract between a compiler and the debugger to support multiple languages at modest programming effort. Designed and implemented the ldb interface in four different languages: C, Java, Standard ML, and Objective Caml. Integrated ldb with the lcc compiler and the MiniJava compiler. Yale University New Haven, Connecticut 07/ /1999 Visiting Scholar at the Department of Computer Science Worked on a safe and principled language interoperation system. Identified the problems in the original system which broke the safety of the system. Designed a new system solving the problems and implemented a prototype of the new system.

2 Korea Advanced Institute of Science and Technology Daejeon, Korea 03/ /2001 Research Assistant at the Department of Computer Science LET Project: program analysis for small/safe/smart code Designed a higher-order and typed programming language system nml. Developed the nml compiler system. Designed an exception analyzer to statically detect uncaught exceptions in multithreaded Java programs. Released SML/NJ Exception Analyzer Programming Environment for Standard ML(SML) project Developed an exception analyzer to statically detect uncaught exceptions in SML programs. Released SML/NJ Exception Analyzer 0.7. Static Analysis Technology for SML Programs project Developed compile-time analysis techniques that run at speed > 300 lines/sec. Developed compile-time analysis techniques that analyze modules of an SML program in isolation. Fundamental Research on Multimedia Engines project Designed a domain-specific programming language for music notation. 03/ /2001 Teaching Assistant at the Department of Computer Science Delivered several lectures, conducted review sessions, designed homework assignments, and helped preparing exams. 09/ /1995 Research Assistant at the Department of Computer Science Worked on Dialogue Machine Translation using a Dialogue Model. Implemented a prototype of a dialogue machine translation system. Education Ph.D. in Computer Science 09/ /2001 Korea Advanced Institute of Science and Technology Thesis Title: Exception Analysis for Languages with Exceptions Advisor: Prof. Kwangkeun Yi M.S. in Computer Science 03/ /1996 Korea Advanced Institute of Science and Technology Thesis Title: Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations Advisor: Prof. Kwangkeun Yi B.S. in Computer Science 03/ /1995 Korea Advanced Institute of Science and Technology

3 Publications Refereed Papers in International Conference Proceedings [1] Sukyoung Ryu, Parsing Fortress Syntax, Proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, August [2] 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 [3] 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 [4] 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 [5] 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 [6] Sukyoung Ryu and Kwangkeun Yi, Exception Analysis for Multithreaded Java Programs, Proceedings of the Second Asia-Pacific Conference on Quality Software, December [7] 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 , Springer-Verlag, September [8] 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 , August Refereed Papers in International Journals [9] J.J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele Jr, Integrating Coercion with Subtyping and Multiple Dispatch, Science of Computer Programming (accepted). [10] Kwangkeun Yi and Sukyoung Ryu, A Cost-effective Estimation of Uncaught Exceptions in SML Programs, Theoretical Computer Science, volume 277, number 1-2, pages , April 2002 (invited paper). Refereed Chapters in Books [11] Joe Hallett, Eric Allen, and Sukyoung Ryu, Implementing Hidden Type Variables in HTV1, PLT Redex Chapter, August Refereed Article [12] Sukyoung Ryu, Project Fortress: A Multicore Language for Scientists and Engineers, Grace Hopper Celebration of Women in Computing, October [13] Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung

4 Ryu, and Guy L. Steele Jr, Project Fortress: A Multicore Language for Multicore Processors, Linux Magazine, September Technical Reports [14] Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., Sam Tobin-Hochstadt, The Fortress Language Specification, version 1.0, Sun Microsystems, Inc., March Older versions: version 1.0beta (July 2007), version 1.0alpha (September 2006), version (July 2006), version (May 2006), version (February 2006), version (November 2005), version (July 2005), version (April 2005) [15] Eric Allen, Joe Hallett, Victor Luchangco, Sukyoung Ryu, and Sam Tobin-Hochstadt, Ensuring Acyclicity of the Type Hierarchy in Core Fortress, Programming Language Research Group, Sun Microsystems, Inc., March [16] Joe Hallett and Sukyoung Ryu, Formal Semantics for CFWC, Programming Language Research Group, Sun Microsystems, Inc., March [17] Sukyoung Ryu and Norman Ramsey, The ldb interface, Division of Engineering and Applied Sciences, Harvard University, February [18] Sukyoung Ryu, Exception Analysis for Languages with Exceptions, Ph.D Thesis, Department of Computer Science, Korea Advanced Institute of Science and Technology, August [19] Sukyoung Ryu, Exception Analysis for Multithreaded Java Programs, ROPAS Technical Memo No. ROPAS , April [20] Jaeyoun Chung, Sukyoung Ryu, and Kwangkeun Yi, Verification of Machine Codes Using An Effect Type System, ROPAS Technical Memo No. ROPAS , July [21] Sukyoung Ryu and Kwangkeun Yi, Automatic Test Data Generation for Exceptions in First-Order ML Programs, ROPAS Technical Memo No. ROPAS , November [22] Kwangkeun Yi and Sukyoung Ryu, A Practical Method for Estimating Uncaught Exceptions in SML Programs, KAIST CS/TR , December [23] Sukyoung Ryu, Estimating Uncaught Exceptions in Standard ML Programs from Typebased Equations, M.S. Thesis, Department of Computer Science, Korea Advanced Institute of Science and Technology, August Invited Talks and Presentations [1] Sukyoung Ryu. Fortress (vs NESL). Guest Lecture at Harvard University, September 30, [2] Sukyoung Ryu and Jan-Willem Maessen. A Brief Hands-On Introduction to Fortress. The European Conference on Object-Oriented Programming 2009, July 8, [3] Sukyoung Ryu and Jan-Willem Maessen. A Short Hands-On Introduction to Fortress. MIT CSAIL, April 20, 2009.

5 Panels [4] Sukyoung Ryu. Growing a Syntax. New England Programming Language Symposium (NE- PLS) at Harvard University, November 21, [5] Sukyoung Ryu. Fortress 1.0. Innovation at Sun October 21-23, [6] Sukyoung Ryu. Project Fortress: A Multicore Language for Scientists and Engineers. Grace Hopper Celebration of Women in Computing 2008 at Keystone in Colorado. October 2, [7] Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, and Guy L. Steele Jr. Fortress Boot Camp. plrg/publications/bootcamp2008.html. May 21-23, [8] Sukyoung Ryu. Growing the Fortress Programming Language by Example. Sun Labs. Open House, April 10, [9] Eric Allen, David Chase, Christine Flood, Jan-Willem Maessen, and Sukyoung Ryu. Project Fortress Demo. Sun Labs. Open House, April 26, [10] Sukyoung Ryu. Modular Multiple Dispatch with Multiple Inheritance (Overloading in Fortress). Harvard University, April 4, [11] Sukyoung Ryu. Fortress: A New Programming Language for Scientific Computing. Seoul National University, March 20, [12] Sukyoung Ryu. Fortress: A New Programming Language for Scientific Computing. Korea Advanced Institute of Science and Technology, March 19, [13] Sukyoung Ryu. Formalism in the Fortress Programming Language. The Church Seminar at Boston University, April 11, [14] Eric Allen, Sukyoung Ryu, and Joe Hallett. Formalism in the Fortress Programming Language. High Productivity Computing System Milestone 5, Defense Advanced Research Projects Agency, June [15] Sukyoung Ryu. Debugging Everywhere Project (work in progress). NU Programming Languages Seminar at Northeastern University, November [1] Sukyoung Ryu. Experience Being a Woman in Technical Industries. Women in Computer Science Group, University of Massachusetts Lowell, April 16, [2] Carole Dulong (Google), Gaby Aguilera (Google), Hillery Hunter (IBM), Neha Narula (Google), Shalaka Bhuskute (Intel), Sukyoung Ryu (Sun Microsystems), and Yanting Li (Cisco Systems). Managing Your Career 2-5 Years out of School. Grace Hopper Celebration of Women in Computing, October 18, [3] Sukyoung Ryu. CS-Saturday. Computer Science Department, University of Massachusetts Amherst, September 29, 2007.

6 Recognitions [1] Sun s Fortress Language: Parallelism by Default, HPCWire, July 16, [2] Languages for Supercomputing Get Suped Up, ComputerWorld, March 13, [3] Sun s Fortran replacement goes open-source, CNET News.com, January 12, [4] Sun Opens Doors to Its Lab Sensors, interval-based programming top project list, SD Times, July 15, [5] Sun, Microsoft eye high-performance computing, AJAX, InfoWorld, June 2, [6] Inside Sun Labs the best and the bots, The Register, May 2, Patent Applied Software Sukyoung Ryu, Eric. E. Allen, Victor M. Luchangco, Joseph J. Hallett, and Samuel Y. Tobin- Hochstadt. Method and Apparatus for Expressing and Checking Relationships between Types. US , April 27, Project Fortress ( SML/NJ Exception Analyzer 0.98 ( Honors and Awards Sun Engineering Enrichment and Development Program for the Worldwide 01/ /2008 Established Staff Sin-jin Graduate Students Scholarship from Korea Research Foundation 11/ /2001 Graduate Students in Information and Communication Scholarship from 04/ /2000 the Korea Foundation for Advanced Studies Academic Services Internship Manager: Angelina I-Ting Lee (MIT, 2008) Doctoral Thesis Committee: Joe Hallett (Boston University, 2007) Professional Activities Skills Referee for Conferences: Types in Language Design and Implementation (TLDI 2007), European Symposium on Programming (ESOP 2004), ACM SIGPLAN International Conference on Functional Programming (ICFP 2001), Static Analysis Symposium (SAS 2001), Asian Computing Science Conference (ASIAN 1998). Referee for Journals: IEE Software. Referee for Posters: ACM Student Research Competition. Memberships: ACM, ACM SIGPLAN, IEEE, Korea Information Science Society. Programming Languages

7 Personal Fortress, Java, C/C++, Modula-3, Standard ML, Objective Caml, HTML, XML, Csh/sh scripting Platforms Mac OS X, UNIX/Linux, Solaris, Windows 95/98/Me/2000/NT/XP, DOS Born July 28, 1973 in Seoul, Korea. Citizen of Korea.