Chang Hwan Peter Kim

 Ph.D. Student
Department of Computer Science
The University of Texas at Austin, USA
Email: chpkim at gmail . com
Phone: +1-512-461-9381
Office: ACES 5.254

I am a member of the Automated Software Design Research Group, led by Professor Don Batory. I am also advised by Professor Sarfraz Khurshid. My research interests include software engineering topics that aim to automate development and make programs more reliable, including feature-oriented programming, aspect-oriented software development, program analysis and transformation, testing/model-checking, programming languages and environments, model-driven software development and requirements engineering.

I interned at NASA Ames Research Center in Moffett Field, CA (May - August 2009), working on code certification under the mentorship of Dr. Ewen Denney.

Please consider submitting a paper to Generative Programming and Component Engineering (GPCE 2011):

GPCE2011


Publications

Refereed journal/magazine publications

  • K. Czarnecki, M. Antkiewicz, and C. H. P. Kim. Multi-level Customization in Application Engineering, Communications of the ACM (CACM), Volume 49, Issue 12, December 2006. [PDF]

Refereed conference publications

  • C. H. P. Kim, D. Batory and S. Khurshid. Reducing Combinatorics in Product Line Testing. To Appear in Aspect Oriented Software Development (AOSD 2011), Brazil, ACM, 2011. Camera-ready version will be up soon. Here's the draft as a UT Austin CS Technical Report TR-10-02, January 2010. [Draft PDF] [Accompanying implementation]. Supercedes the ASE 2010 short paper.

  • C. H. P. Kim, E. Bodden, D. Batory, and S. Khurshid. Reducing Configurations to Monitor in a Software Product Line. To Appear in Runtime Verification (RV 2010), Malta, LNCS, 2010. [PDF] [Accompanying implementation].

  • C. H. P. Kim, D. Batory, and S. Khurshid. Eliminating Products to Test in a Software Product Line (Short Paper). To Appear in Automated Software Engineering (ASE 2010), Antwerp, Belgium, ACM, 2010. [PDF]. Superceded by the AOSD 2011 publication.

  • C. H. P. Kim, C. Kaestner, and D. Batory. On the Modularity of Feature Interactions. To Appear in Generative Programming and Component Engineering (GPCE 2008), Nashville, Tennessee, USA, October 19-23, 2008, ACM, 2008. [Paper in PDF] [Accompanying implementation].

  • K. Czarnecki, C. H. P. Kim and K. T. Kalleberg. Feature Models are Views on Ontologies. In Software Product Line Conference (SPLC 2006), Baltimore, USA, August 21-24, 2006, IEEE CS, 2006. [Presentation in PowerPoint] [Paper in PDF]

  • C. H. P. Kim and K. Czarnecki. Synchronizing cardinality-based feature models and their specializations. In Proceedings of European Conference on Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005), Nuremburg, Germany, November 7-10, 2005, LNCS 3748, pages 331-348, Springer, 2005. [PDF]

Refereed workshop publications

  • C. H. P. Kim, K. Czarnecki and D. Batory. On-Demand Materialization of Aspects for Application Development. In SPLAT 2008, Co-located with AOSD 2008, Brussels, Belgium. [PDF]

  • K. Czarnecki and C. H. P. Kim. Cardinality-based feature modeling and constraints: a progress report. In Proceedings of International Workshop on Software Factories, OOPSLA 2005, San Diego, USA, October 16-20, 2005. [PDF]

Edited volumes

  • B. Berenbach and C. H. P. Kim (editors). Proceedings of the First international Workshop on Requirements Engineering Visualization, held with IEEE Requirements Engineering 2006, Minneapolis-St.Paul, Minnesota, USA, September 11, 2006. [IEEE Digital Library] [Workshop]

Posters and demonstrations

  • K. Czarnecki, M. Antkiewicz, C. H. P. Kim, S. Lau and K. Pietroszek. fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates. In OOPSLA’05 Companion, OOPSLA 2005, San Diego, USA, Oct 16-20, 2005. [PDF]

  • K. Czarnecki, M. Antkiewicz, C. H. P. Kim, S. Lau and K. Pietroszek. Model-Driven Software Product Lines. In OOPSLA’05 Companion, OOPSLA 2005, San Diego, USA, Oct 16-20, 2005. [PDF]

Theses

  • C. H. P. Kim. On the Relationship between Feature Models and Ontologies. A thesis submitted to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Applied Science in Electrical and Computer Engineering. [PDF]


Professional Activities

  • Publicity Chair for GPCE 2011

  • Reviewer for Automated Software Engineering (ASE) Journal 2010, IEEE Transactions on Software Engineering 2008

  • External Reviewer for ASE 2011, GPCE 2010, OOPSLA 2009, ASE 2009, ECOOP 2009

  • Co-Chair, Workshop on Requirements Engineering Visualization (REV2006) held with IEEE Requirements Engineering (RE) 2006 International Conference, Minnesota, September 11-15, 2006.


Projects


Education


Curriculum Vitae (Resumé)