Krzysztof Czarnecki, Ph.D., P.Eng.

Professor of Electrical and Computer Engineering
I work in the area of Generative Software Development. See the overview paper for an introduction.

Short biography

Krzysztof Czarnecki is a Professor of Electrical and Computer Engineering at the University of Waterloo. Before coming to Waterloo, he was a researcher at DaimlerChrysler Research (1995-2002), Germany, focusing on improving software development practices and technologies in enterprise, automotive, and aerospace domains. He co-authored the book on "Generative Programming" (Addison- Wesley, 2000), which deals with automating software component assembly based on domain-specific languages. While at Waterloo, he held the NSERC/Bank of Nova Scotia Industrial Research Chair in Requirements Engineering of Service-oriented Software Systems (2008-2013) and has worked on a range of topics in model-driven systems and software engineering, including product lines engineering, design synthesis, variability modeling, model transformation, and domain-specific languages. He received the Premier's Research Excellence Award in 2004 and the British Computing Society in Upper Canada Award for Outstanding Contributions to IT Industry in 2008.

News

For students

Projects

Current Projects

Past Projects

Tools

Activities

  • MoDELS'09 conference chair
  • Bank of Nova Scotia / NSERC Industrial Research Chair (2008-2013)

Publications

2009
Antkiewicz, M., T. Tonelli Bartolomei, and K. Czarnecki, "Fast Extraction of High-Quality Framework-Specific Models from Application Code", Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009. [pdf]
Mendonça, M., "Efficient Reasoning Techniques for Large Scale Feature Models", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
Czarnecki, K., N. J. Foster, Z. Hu, R. Lämmel, A. Schurr, and J. F. Terwilliger, "Bidirectional Transformations: A Cross-Discipline Perspective, GRACE Meeting Notes, State of the Art, and Outlook", Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563, Berlin, Heidelberg, Springer, pp. 260 - 283, 2009. [pdf]
Diskin, Z., K. Czarnecki, and M. Antkiewicz, "Model-versioning-in-the-large: Algebraic foundations and the tile notation", 2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009. [pdf][pdf]
Mendonça, M., A. Wąsowski, and K. Czarnecki, "SAT-based Analysis of Feature Models is Easy", 13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009. [pdf][pdf]
2008
Antkiewicz, M., "Framework-specific modeling languages", Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Antkiewicz, M., and K. Czarnecki, "Design Space of Heterogeneous Synchronization", Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008. [pdf]
Mendonça, M., A. Wąsowski, K. Czarnecki, and D. Cowan, "Efficient compilation techniques for large scale feature models", 7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008. [pdf]
Czarnecki, K., I. Ober, J-M. Bruel, A. Uhl, and M. Völter, "Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September/October 2008, Proceedings", Lecture Notes in Computer Science, vol. 5301/2009, Berlin, Heidelberg, Springer-Verlag, 2008.
Kim, C H P., K. Czarnecki, and D. Batory, "On-demand materialization of aspects for application development", The 2008 AOSD Workshop on Software Engineering Properties of Languages and Aspect Technologies - SPLAT '08, Brussels, Belgium, ACM Press, pp. 1 - 6, 2008. [pdf]
Czarnecki, K., S. She, and A. Wąsowski, "Sample Spaces and Feature Models: There and Back Again", 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008. [pdf][pdf]
Lee, H M., M. Antkiewicz, and K. Czarnecki, "Towards a Generic Infrastructure for Framework-Specific Integrated Development Environment Extensions", 2nd International Workshop on Domain-Specific Program Development (DSPD’08), co-located with OOPSLA'08, Nashville, Tennessee, USA, 2008. [pdf]
2007
Antkiewicz, M., T. Tonelli Bartolomei, and K. Czarnecki, "Automatic Extraction of Framework-Specific Models From Framework-Based Application Code", 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, 11/2007. [pdf]
Heydarnoori, A., and K. Czarnecki, "Comprehending implementation recipes of framework-provided concepts through dynamic analysis", OOPSLA Companion, Poster Session, Montreal, Quebec, Canada, ACM Press, pp. 819–820, 10/2007.
Heydarnoori, A., T. Tonelli Bartolomei, and K. Czarnecki, Comprehending Object-Oriented Software Frameworks Through Dynamic Analysis, , no. CS-2007-18: University of Waterloo, 10/2007. [pdf]
Heydarnoori, A., and K. Czarnecki, "Mining Implementation Recipes of Framework-Provided Concepts in Dynamic Framework API Interaction Traces", OOPSLA Companion, Tool Demonstration Track, Montreal, Quebec, Canada, ACM Press, pp. 876-877, 10/2007.
Czarnecki, K., M. Antkiewicz, and C H P. Kim, "Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung", Objekt Spektrum, issue 1, 01/2007.
White, J., D. C. Schmidt, K. Czarnecki, C. Wienands, G. Lenz, E. Wuchner, and L. Fiege, "Automated Model-Based Configuration of Enterprise Java Applications", 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Annapolis, USA, IEEE, pp. 301 - 301, 2007. [pdf]
Czarnecki, K., and A. Wąsowski, "Feature Diagrams and Logics: There and Back Again", SPLC '07: Proceedings of the 11th International Software Product Line Conference, Washington, USA, IEEE Computer Society, pp. 23–34, 2007. [pdf][pdf]
Antkiewicz, M., and K. Czarnecki, Framework-Specific Modeling Languages; Examples and Algorithms, : Electrical & Computer Engineering, University of Waterloo, 2007. [pdf]
Hessellund, A., K. Czarnecki, and A. Wąsowski, "Guided Development with Multiple Domain-Specific Languages", ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS), vol. 4735, Nashville, USA, Springer, pp. 46 - 60, 2007. [pdf]
2006
Lau, S Q., "Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 168, 2006. [pdf]
Czarnecki, K., M. Antkiewicz, and C H P. Kim, "Multi-level customization in application engineering", Communications of the ACM, vol. 49, issue 12, pp. 60, 12/2006. [pdf]
Antkiewicz, M., and K. Czarnecki, Eclipse Workbench Part Interaction FSML, : Electrical & Computer Engineering, University of Waterloo, pp. 15, 2006. [pdf]
Tags:

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta