CS Postdoc Profiles

Research Profile

Wonseok Chae

Toyota Technological Institute at Chicago
6045 S. Kenwood Ave.
Chicago, IL 60637 Email: EMAIL OBFUSCATED
Web: http://ttic.uchicago.edu/~wchae
Phone: +1 (773) 834-3485

—————————————
- RESEARCH INTERESTS
—————————————

Programming Languages, Type Theory, Formal Methods, Mechanizing Metatheory, Compilers, Interpreters, Software Engineering, Software Reuse, Domain Analysis, Product Line Engineering, Software Development Process

—————————————
- EDUCATION
—————————————

Toyota Technological Institute at Chicago (TTI-C)
* Ph.D. Computer Science, Expected 2009.6.
* Advisor: Professor Matthias Blume.
* Dissertation title: Type-Safe Extensible Programming.

Pohang University of Science and Technology (POSTECH)
* M.S. Computer Science and Engineering, 2001.
* Advisor: Professor Kyo-Chul Kang.
* Dissertation title: A Meta-model for Representing and Analyzing Software Architecture Models.

Pohang University of Science and Technology (POSTECH)
* B.S. Computer Science and Engineering, 1998.

—————————————
- EMPLOYMENT
—————————————

Toyota Technological Institute at Chicago
* Teaching Assistant, Fall 2008.

Lucent Technologies, Bell-Labs, Korea
* Member of Technical Staff, 2001.1-2003.10.

POSTECH, Department of Computer Science and Engineering, Korea
* Research Assistant and Teaching Assistant, 1999-2001.

POSTECH Information Research Laboratories, Korea
* Senior Researcher, Software reuse team, 1998.8-1999.2.

—————————————
- PROFESSIONAL SERVICES
—————————————

* Workshop reviewer: 20th International Symposium on the Implementation and Application of Functional Languages (IFL), 2008.
* Co-organizer of Applied Language Technologies Group (ALT-G), since 2008.
* Coordinator of PL Seminar (Joint Programming Language Seminar with University of Chicago) at Toyota Technological Institute at Chicago, 2005-2006.
* Member of KASPA (Korea Association of Software Process Assessors) as the ISO certified provisional SPICE assessor, 2002-2003.
* Military service in the ROK Army, 1994-1996.

—————————————
- PUBLICATIONS
—————————————

Book
* A book chapter “Building A Family of Compilers” in Applied Software Product-Line Engineering. Wonseok Chae and Matthias Blume, To appear in 2009.7.
* Kijoo Kim, Wonseok Chae and Hyunsik Choi. 2008. Korean translation of “Real-time UML: Advances in the UML for Real-Time Systems, 3rd ed.” written 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 and Byungwook Choi. Patrick Donohoe, editor. Kluwer Academic Publishers, 2000.

Journal Papers
* 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.

Conference Papers
* Matthias Blume, Umut Acar and Wonseok Chae, “Exception handlers as extensible cases”, In 6th ASIAN Symposium on Programming Languages and Systems (APLAS 2008), Dec 9-11, 2008.
* Wonseok Chae and Matthias Blume, “Building a Family of Compilers”, In 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 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006), Sep 18-20, 2006.
* Wonseok Chae, “Adapting Function Point Analysis to Feature Model for Measuring Reusability”, In 1st International Conference on Software Engineering Research and Practice (SERP 2003), 2003.6.
* 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”, In 1st Software Product Line Conference (SPLC 2000), Denver, Colorado, USA. , Aug. 28-31, 2000, pp. 3-22.

Technical Reports & Work In Progress
* Wonseok Chae and Matthias Blume, “An evaluation framework for product line implementation”, Technical Report TTIC-TR-2009-4, Toyota Technological Institute at Chicago, 2009.
* Wonseok Chae and Matthias Blume, “Featherweight Foreign Interface for the MLPolyR language”, Draft, 2008.10.

Unpublished Technical Notes
* 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 the SMLFormat”, Technical memo on the SMLFormat library. 2006.12.
* Wonseok Chae, “Memorandum Notes for Multiple-baseline Requirements”, Memorandum to improve the development process for the international market place (Lucent Technologies Korea), 2003.4.
* Wonseok Chae, “Feature Interactions In Lucent Technologies”, 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), 2002.12.

ETC.
* Kyo C. Kang, Wonseok Chae and Jaejoon Lee, “A Meta-Model for Representing and Analyzing Software Architecture Models”, SIGSE-KISS Bulletin, Vol. 18, 2000.12.

Contact Information

E-Mail: EMAIL OBFUSCATED

Phone: 1 773 834 3485

Categories Posted To:

Information Systems / Information Science, Mobile / Ubiquitous / Embedded Computing, Software Engineering, Theory / Algorithms