Chang Hwan Peter Kim

Department of Computer Science
University of Oxford
Email: peter,kim at cs,ox,ac,uk (replace comma with dot)

Since October 2013, I have been a postdoc in Computer Science at the University of Oxford, UK, working under the supervision of Professor Marta Kwiatkowska. I am also advised by Professor Daniel Kroening. My research interests include automated verification/testing, program analysis, configurable systems, programming languages and automated software engineering in general.

From 2008 to 2013, I was a PhD student in Computer Science at the University of Texas at Austin, USA, advised by Professor Don Batory and Professor Sarfraz Khurshid. My dissertation, "Systematic Techniques for Efficiently Checking Software Product Lines", was on developing static and dynamic program analyses for pruning execution redundancy in configurable systems.

Prior to that, I did my master's and undergrad in Electrical and Computer Engineering at the University of Waterloo, Canada.


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 (* = alphabetical author list)

  • *M. Diciolla, C. H. P. Kim, M. Kwiatkowska, A. Mereacre. Synthesising Optimal Timing Delays for Timed I/O Automata. To appear at International Conference on Embedded Software (EMSOFT 2014).

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


  • C. H. P. Kim. Systematic Techniques for Efficiently Checking Software Product Lines. PhD thesis. Department of Computer Science, University of Texas at Austin

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

Curriculum Vitae (Resumé)

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