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.


For students


Current Projects

Past Projects



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


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Passos, L., K. Czarnecki, and A. Wąsowski, "Towards a Catalog of Variability Evolution Patterns: The Linux Kernel Case", 4th International Workshop on Feature Oriented Software Development, 2012. [pdf][pdf]
Passos, L., L. Teixeira, D. Nicolas, S. Apel, A. Wąsowski, K. Czarnecki, P. Borba, and J. Guo, "Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel", Empirical Software Engineering, Springer, 05/2015.
Passos, L., K. Czarnecki, S. Apel, A. Wąsowski, C. Kästner, J. Guo, and C. Hunsen, "Feature-Oriented Software Evolution", The Seventh International Workshop on Variability Modelling of Software-intensive Systems, Italy, ACM , 01/2013. [pdf][pdf]
Passos, L., J. Gaeta, T. Berger, S. Apel, K. Czarnecki, and M T. Valente, "Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers", 14th International Conference on Modularity: ACM, 2015. [pdf][pptx]
Passos, L., J. Guo, L. Teixeira, K. Czarnecki, A. Wąsowski, and P. Borba, "Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel", 17th International Software Product Line Conference, Tokyo, ACM, 2013. [pdf][pdf]
Passos, L., and K. Czarnecki, "A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositories, India, IEEE/ACM, 2014. [pdf]
Passos, L., M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki, and A. Wąsowski, "A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System", 3rd International Workshop on Feature Oriented Software Development, Munich, Germany, ACM, 08/2011. [pdf][pdf]
Olaechea, R., D. Rayside, J. Guo, and K. Czarnecki, "Comparison of exact and approximate multi-objective optimization for software product lines", Software Product Line Conference, vol. 1, Florence, Italy, ACM, pp. 92-101, 10/2014. [pdf]
Olaechea, R., S. Stewart, K. Czarnecki, and D. Rayside, "Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software", International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria, 10/2012. [pdf][pptx]
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, "Mining Configuration Constraints: Static Analyses and Empirical Results", 36th International Conference on Software Engineering (ICSE'14), 2014. [pdf]
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, "Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", IEEE Transactions on Software Engineering, 2015.
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, : Generative Software Development Laboratory, University of Waterloo, 2015. [pdf]
Murashkin, A., L S. Azevedo, J. Guo, E. Zulkoski, J. Liang, K. Czarnecki, and D. Parker, "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
Meusel, M., K. Czarnecki, and W. Kopf, "A model for structuring user documentation of object-oriented frameworks using patterns and hypertext", ECOOP'97 — Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, Jyväskylä, Finland, Springer-Verlag, pp. 496 - 510, 1997.
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.
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]
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]
Lotufo, R., and K. Czarnecki, Improving Bug Report Comprehension, : University of Waterloo, 09/2012. [pdf]
Lotufo, R., L. Passos, and K. Czarnecki, "Towards Improving Bug Tracking Systems with Game Mechanisms", 9th Working Conference on Mining Software Repositories (MSR'12), Zurich, Switzerland, IEEE (also published as GSDLAB–TR 2011–09–29), 06/2012. [pdf][zip]
Lotufo, R., Z. Malik, and K. Czarnecki, "Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports", International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012. [pdf][pdf]
Liang, J., V. Ganesh, K. Czarnecki, and V. Raman, "SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.
Liang, J., V. Ganesh, P. Poupart, and K. Czarnecki, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
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]