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.
Publications
"Round-Trip Engineering Using Framework-Specific Modeling Languages",
OOPSLA Companion, 2007.
"Mehrstufige, Kunden-Spezifische Anpassungen in der Anwendungsentwicklung",
Objekt Spektrum, issue 1, 01/2007.
"Comprehending implementation recipes of framework-provided concepts through dynamic analysis",
OOPSLA Companion, Poster Session, Montreal, Quebec, Canada, ACM Press, pp. 819–820, 10/2007.
Comprehending Object-Oriented Software Frameworks Through Dynamic Analysis,
, no. CS-2007-18: University of Waterloo, 10/2007.
[pdf]
"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.
"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]
"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]
"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]
"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.
"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]
"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]
"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]
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[pdf]
"Ecore.fmp: A tool for editing and instantiating class models as feature models",
Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008.
[pdf]
"Feature Model Mining",
School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
"Framework-specific modeling languages",
Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Algebraic Models for Bidirectional Model Synchronization",
MoDELS 2008, Toulouse France, Springer, 10/2008.
"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]
Certificateless Cryptography,
, vol. BSc: Warsaw University of Technology, 2009.
[pdf]
"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]
"SAT-based Analysis of Feature Models is Easy",
13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
[pdf][pdf]
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"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.
"Model-guided Code Assistance for Framework Application Development",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.