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

2007
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]
Czarnecki, K., M. Antkiewicz, and C H P. Kim, "Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung", Objekt Spektrum, issue 1, 01/2007.
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.
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]
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]
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Antkiewicz, M., "Framework-specific modeling languages", Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
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]
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.
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]
Stephan, M., "Detection of Java EE EJB Antipattern Instances using Framework-Specific Models", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 113, 04/2009.
Lee, H M., "Model-guided Code Assistance for Framework Application Development", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.
Heydarnoori, A., "Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 178, 04/2009. [pdf]
Heydarnoori, A., K. Czarnecki, and T. Tonelli Bartolomei, "Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", 23rd European Conference on Object-Oriented Programming (ECOOP), vol. 5653, Genova, Italy, Springer-Verlag, pp. 344-368, 07/2009. [pdf][pdf]
Tags:

Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin

Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

Rehan Rauf