Wonseok Chae I am currently a Ph.D. candidate at Toyota Technological Institute at Chicago. My adviser is Matthias Blume. I received my B.S. and M.A. degrees in Computer Science and Engineering from Pohang University of Science and Technology (POSTECH) in Pohang, Korea in 1998 and 2001, respectively. 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. Currently, I am interested in design, implementation, and application of high-level programming languages. With Prof. Matthias, I am doing several research including: A tiny ML-Like language, MLPolyR Module system in ML to explore (flexible) reusable components Testing techniques for compilers, especially for MLPolyR and SML/NJ

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

How to reach me

• Email: wchae at {uchicago.edu | tti-c.org} or wschae at {gmail.com}
• Phone: 1.773.834.2621

Research

Programming Languages

• functional programming and type systems
• software contract
• domain specific languages

Software Engineering

• domain engineering
• functional programming style and patterns
• extream programming

History of Computer Science

Publication

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

Class

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)

2005 Winter

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

2004 Autumn

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

Activities

• 2002-Present 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

Others

• Installing and Using Microsoft's Korean IME
• Writing Hangul (Korean Character) without any IMEs on Web (Under Testing)

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