Chang Hwan Peter Kim

 Ph.D. Student
Department of Computer Science
The University of Texas at Austin
Email: chpkim at cs dot utexas dot edu

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 automated software engineering, testing, feature-oriented programming, product lines, aspect-oriented software development, and program analysis and transformation.

Please consider submitting your paper to IEEE International Symposium on Software Reliability Engineering (ISSRE) 2013:


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. Marinov, S. Khurshid, D. Batory, S. Souto, P. Barros and M. d’Amorim. SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems. To appear at Foundations of Software Engineering (ESEC/FSE 2013)

  • C. H. P. Kim, S. Khurshid, D. Batory. Shared Execution for Efficiently Testing Product Lines. In IEEE International Symposium on Software Reliability Engineering (ISSRE 2012), Dallas, IEEE, 2012. [PDF] [Accompanying implementation]

  • C. H. P. Kim, D. Batory and S. Khurshid. Reducing Combinatorics in Product Line Testing. In Aspect Oriented Software Development (AOSD 2011), Brazil, ACM, 2011. [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]


Service

  • Program Committee Member for ISSRE 2013

  • Publicity Chair for GPCE 2011

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

  • External Reviewer for RV 2012, ASE 2012, FSE 2012, 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.


Software


Education


Curriculum Vitae (Resumé)

  • [PDF] (May be out-of-date. Please contact me for the latest version)