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.
Krzysztof Czarnecki, Ph.D., P.Eng.
Professor of Electrical and Computer Engineering
- Ph.D. Graduate, Technical University of Ilmenau
- M.Sc. Graduate, California State University at Sacramento
- Dipl-Inf Graduate, Technical University of Ilmenau
I work in the area of Generative Software Development. See the overview paper for an introduction.
- 1 of 14
- MoDELS'09 conference chair
- Bank of Nova Scotia / NSERC Industrial Research Chair (2008-2013)
"Cost-Efficient Sampling for Performance Prediction of Configurable Systems", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, IEEE, to appear, 2015.
"Performance Prediction of Configurable Software Systems by Fourier Learning", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, to appear, 2015.
"The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems", Journal on Software and Systems Modeling: Springer, pp. 1–29, To appear, 2015.
"MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers", International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015.
"Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel", Empirical Software Engineering, Springer, 05/2015.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers", 14th International Conference on Modularity (MODULARITY): ACM, 2015.
"Maintaining Feature Traceability with Embedded Annotations", 19th International Software Product Line Conference (SPLC), 2015.
"Modeling Aerospace Systems Product Lines in SysML", 19th International Software Product Line Conference (SPLC), 2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.
"Supporting Different Process Views through a Shared Process Model", Software and Systems Modeling, 2015.
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines", 19th International Software Product Line Conference (SPLC), 2015.
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, : Generative Software Development Laboratory, University of Waterloo, 2015.
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", IEEE Transactions on Software Engineering, 2015.
"Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014.
"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.
"Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014.
A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
"Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014.
"A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositorie, India, IEEE/ACM, 2014.
"Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems", 6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014.
"Effects of Using Examples on Structural Model Comprehension", ICSE, 2014.
"Flexible Product Line Engineering with a Virtual Platform", ICSE, 2014.
"Mining Configuration Constraints: Static Analyses and Empirical Results", 36th International Conference on Software Engineering (ICSE'14), 2014.
"Three Cases of Feature-Based Variability Modeling in Industry", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2014.