Wonseok Chae I am a post-doctoral researcher at Toyota Technological Institute at Chicago. I received B.S. and M.S. degrees in Computer Science and Engineering from the Pohang University of Science and Technology (POSTECH) in 1998 and 2001 respectively. My advisor was Kyo C. Kang. My master thesis entitled "A Meta-Model for Representing and Analyzing Software Architecture Models" presented a way to solve the problems recurring when designing a large software system.
In 2001, I joined Lucent Bell-Labs Korea as a member of technical staff. Here, I developed software for wireless switching systems. Before resuming my studying at TTI-C, I was the member of the Korea Association of Software Assessors as provisional ISO/IEC 15504 assessor. What I wanted to do in these activities was to improve software development process: how to make good quality software systems efficiently within limited resources for demanding customers. I received my Ph.D. in Computer Science from Toyota Technological Institute at Chicago in 2009. In my thesis work, I developed type-safe extensible programming with my advisor Matthias Blume. My research interests are in programming languages and software engineering, especially at their intersection. In particular, my interests are in the design and implementation of advanced programming languages. I have also exploited emerging software engineering principles and practices including software product line engineering. My current research focuses on the design, analysis and implementation of feature-oriented programming and its configuration through intelligent tool support (e.g., SmartForm and FeatureForm).

Contact

• Email: wchae at {uchicago.edu | tti-c.org} or wschae at gmail.com
• Phone: 1.773.834.3485
• Fax: 1.773.834.9811
• Address: 6045 S. Kenwood Ave. Toyota Technological Institute at Chicago, Chicago, IL 60637.

Job Search

• CV
• Research Statement
• Teaching Statement

Research

• A tiny ML-Like language, MLPolyR
• Module system in Standard ML to explore (flexible) reusable components
• Testing techniques for compilers, especially for MLPolyR and SML/NJ
• Design principles for functional languages
• Mechanizing reasoning about programming languages with Coq

In addition, I am interested in software engineering paradigms such as:

• Domain engineering
• Software reuse
• Feature modeling
• Product-line engineering and product-line implementation
• Component-based software engineering

• 2009.10.06. I gave a talk at FOSD'09 on Language Support for Feature-Oriented Product Line Engineering (slide-pdf).
• 2009.08.10. I had the dissertation defense talk (slide-pdf).
• 2008.12.11. Matthias gave a talk at APLAS'08 on exception handlers as extensible cases.
• 2008.10.20. Jon Riehl and I started the "Applied Language Technologies Group (ALT-G)".
• 2008.10.20. Reopen wiki.
• 2008.09.11. I gave a talk at SPLC'08 on building a family of compilers (slide-pdf).
• 2008.07.16. I gave a talk at POSTECH on extensible programming (slide-pdf).
• 2008.07.01. I had the proposal defense (slide-pdf).
• 2008.04.25. I gave a talk at PL-Lunch on featherweight foreign interface for the MLPolyR language (slide-pdf).
• 2007.06.14. We launch the site for The MLPolyR programming language.
• 2007.05.01. I gave a talk on the C-- framework as an alternative backend at CMSC 22620. (slides)
• 2007.03.02. I talked on the MLPolyR frontend compiler for C-- at PL-Lunch. (slides)
• 2006.09.18. ICFP'06 - My first PL conference as an author
• 2006.08.11. I gave a talk on MLPolyR at POSTECH. (slides)
• 2006.07.18. Completion of the Masters portion of the Ph.D. Program.
• 2006.05.24. Qualification exam!!! And, I passed it!!!
• 2006.05.21. ICFP'06 accepted our MLPolyR paper. see the publication section.
• 2006.03.09. You can try new beta version of MLPolyR.
• 2006.03.03. I talked about my ongoing work on MLPolyR at PL-Lunch. (slides)
• 2006.02.27. I gave a short presentation on my POPL experience. (slides)
• 2006.02.01. TTI-C launched PL-Lunch.
• 2006.01.11. POPL'06 - My first PL conference
• 2005.11.09. Check the HYPER web site.
• 2005.11.09. Wiki was back.
• 2005.08.19. You can try (old version of) MLPolyR here.
• 2005.08.04. Wiki was relocated because UoC has temporarily disabled CGI due to security problems.
• 2005.06.13. Summer Vacation !!! I'll stay on the lab, though.
• 2005.03.28. LINK was added.
• 2005.03.28. Spring quarter begins.
• 2004.12.13. Private Wiki launched. You need a login id to access it.
• 2004.12.13. Autumn quarter officailly ends. I'm waiting for the results.
• 2004.12.13. Just launched this homepage !!!

Publication

• Wonseok Chae and Timothy L. Hinrichs, SmartForm: A Web-based Feature Configuration Tool, The fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS'10), Jan. 27-29, 2010. (demo)
• Wonseok Chae and Matthias Blume, Language Support for Feature-Oriented Product Line Engineering, The first International Workshop on Feature-Oriented Software Development (FOSD'09), Oct. 6, 2009. (slide-pdf,demo)
• Matthias Blume, Umut Acar, and Wonseok Chae, Exception handlers as extensible cases, 6th ASIAN Symposium on Programming Languages and Systems (APLAS 2008), Dec 9-11, 2008.
• Wonseok Chae and Matthias Blume, Building a Family of Compilers (slide-pdf), 12th Software Product Line Conference (SPLC 2008), Sep 8-12, 2008.
• Matthias Blume, Umut Acar, and Wonseok Chae, Extensible Programming with First-Class Cases, In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006). Portland, Oregon. Sep 18-20, 2006.
• Wonseok Chae, Adapting Function Point Analysis to Feature Model for Measuring Reusability, Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 2003, pp. 628-634.
• Kyo C. Kang, Wonseok Chae, and Jaejoon Lee, A Meta-Model for Representing and Analyzing Software Architecture Models, SIGSE-KISS Bulletin, Vol. 18, December 2000, pp. 49-60.
• Kwanwoo Lee, Kyo C. Kang, Wonseok Chae, and Byoung Wook Choi, Feature-Based Approach to Object-Oriented Engineering of Applications for Reuse, Software: Practice and Experience, Vol. 30, Issue 9, 2000, pp. 1025-1046.
• Kwanwoo Lee, Kyo C. Kang, Eunman Koh, Wonseok Chae, Bokyoung Kim, and Byoung Wook Choi, Domain-Oriented Engineering of Elevator Control Software: A Product Line Practice, 1st Software Product Line Conference (SPLC), Denver, Colorado, USA. , Aug. 28-31, 2000, pp. 3-22.

Book (chapter or translation)

	Wonseok Chae and Matthias Blume. A book chapter "Building A Family of Compilers" in Applied Software Product-Line Engineering.
	Kijoo Kim, Wonseok Chae and Hyunsik Choi. 2008. Korean translation of "Real-time UML: Advances in the UML for Real-Time Systems, 3rd ed." by Bruce Powel Douglass.
	A book chapter "Domain-Oriented Engineering of Elevator Control Software: A Product Line Practice," in Software Product Lines: Experience and Research. Kwanwoo Lee, Kyo C. Kang, Eunman Koh, Wonsek Chae, Bokyung Kim, Byungwook Choi. Patrick Donohoe, editor. Kluwer Academic Publishers, 2000, pp.3-22.

Ph.D. Thesis

• Wonseok Chae, Type Safe Extensible Programming, Ph.D. Thesis, Toyota Technological Institute at Chicago, 2009.

Memo (unpublished technical notes)

• Wonseok Chae and Matthias Blume, An Evaluation Framework for Product Line Implementation, Technical report, 2009.
• Wonseok Chae, The MLPolyR frontend compiler for C--, Technical report on the MLPolyR frontend compiler for C--, including overview of the C-- framework and lessons learned, 2006-2007.
• Wonseok Chae and Matthias Blume, Memo on SMLFormat, This document describes our experience on installing and using SMLFormat. 2006.12.1.
• Wonseok Chae, Software Contracts: A Way to Enrich Type Systems, Survey paper for CMSC33600: Type systems for Programming Languages, 2005.3.14.
• Wonseok Chae, Memorandum Notes for a Multiple-baseline Requirements, Internal memorandum to improve the development process for the international market place (Lucent Technologies Korea), April 2003.
• Wonseok Chae, Feature Interaction In Lucent Technologies, Internal technical report for describing how Lucent Technologies has tackled feature interaction problems and presenting some suggestions to solve them from a software process point of view (Lucent Technologies Korea), December 2002.

Professional Activities

• 2008 Fall Teaching Assistant, CMSC 22100/32100: Programming languages, TTI-C/UoC (exercise)
• 2002-2004 Being the member of KASPA (Korea Assocication of Software Process Assessor) as the provisional SPICE assessor
• 1999-2001 Reserach Assistance, Software Engineering Lab., Department of Computer Science and Engineering, POSTECH, Korea
• 1999-2000 Teaching Assistant, Software Design & Software Engineering classes, Department of Computer Science and Engineering, POSTECH, Korea

Education

• 1999-2001 M.A. Degree in Computer Scicene and Engineering with a these entitled "A Meta-Model for Representing and Analyzing Software Architecture Models", POSTECH, Korea
• 1992-1998 B.S. Degree in Computer Science and Engineering, POSTECH, Korea

Work Experiences

• 2001.1-2003.10 Member of Technical Staff at Wireless Software Development, Bell-Labs Korea, Lucent Technologies Korea
• 1998.8-1999.2 Senior Researcher, Software Resuse Team, POSTECH Information Reserach Laboratory, Korea

Class at TTI-C

2008 Spring

• MSC32001-1: Topics in Programming Languages - Denotational semantics and domain theory

2007 Spring

• CMSC32001-1: Topics in Programming Languages - Implementing Type and Module Systems

2007 Winter

• CMSC32001-1: Topics in Programming Languages - Interoperability ( Findler )

2006 Winter

• CMSC37001-1: Advanced Type Systems ( Note )

2005 Fall

• CMSC37110-1: Discrete Mathematics

2005 Spring

• TTIC100: Information Theory, Statistics, Learning and Perception
• CMSC 32620-1: Implementation of Computer Languages - II (Project) (Related Courses)
• CMSC 33300-1: Networks and Distributed Systems (project 1,2)

2005 Winter

• CMSC 33600-1: Type Systems for Programming Languages
• CMSC 22610-1: Implementation of Computer Languages - I

2004 Fall

• CMSC 31100-1: Big Ideas in Computer Science
• CMSC 32100-1: Programming Languages .

	Toyota Technological Institute at Chicago / Intranet
	The University of Chicago main home page The Department of Computer Science at the University of Chicago