People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Publications
"Model Based Automotive System Design: A Power Window Controller Case Study",
ECE, vol. MASC, Waterloo, University of Waterloo, 03/2015.
"Efficient Synthesis of Feature Models",
Software Product Line Conference (SPLC), Salvador, Brasil, 2012.
[pdf]
"Deferred Methods: Accelerating Dynamic Program Analysis on Multicores",
International Symposium on Code Generation and Optimization (CGO) , San Jose, USA, ACM, 04/2012.
[pdf]
"Round-Trip Engineering Using Framework-Specific Modeling Languages",
OOPSLA Companion, 2007.
"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]
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][pdf]
Framework-Specific Modeling Languages; Examples and Algorithms,
: Electrical & Computer Engineering, University of Waterloo, 2007.
[pdf]
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"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]
"Engineering of Framework-Specific Modeling Languages",
IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
[pdf]
"Framework-specific modeling languages",
Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Framework-Specific Modeling Languages with Round-Trip Engineering",
ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, Springer-Verlag, pp. 692-706, 2006.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"FeaturePlugin: Feature Modeling Plug-In for Eclipse",
The 2004 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '04, Vancouver, British Columbia, Canada, ACM Press, pp. 67 - 72, 2004.
[pdf][zip]
"Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages",
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), Tokyo, IEEE, pp. 323 - 326, 2006.
"A Novel Approach for Estimating Truck Factors",
International Conference on Program Comprehension: ACM, 2016.
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
Modeling and Analysis of Software Product Line Variability in Clafer,
, vol. PhD: University of Waterloo, 11/2013.
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][pdf]
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
Certificateless Cryptography,
, vol. BSc: Warsaw University of Technology, 2009.
[pdf]
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]