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

"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",

*ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems*: Springer, 10/2011. [pdf][pdf]*Modeling Product Lines with Kripke Structures and Modal Logic,*, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]

"From Lenses to Tiles: Model Synchronization via Double Categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 12/2009. [pdf]*A Taxonomic Space for Increasingly Symmetric Model Synchronization,*, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]

*Towards generic formal semantics for consistency of heterogeneous multimodels,*, Waterloo, University of Waterloo, Jan 2011. [pdf]

"Mapping-aware megamodeling: Design Patterns and Laws",

*Software Language Engineering*: Springer, 2013. [zip]
"Algebraic Models for Bidirectional Model Synchronization",

*MoDELS 2008*, Toulouse France, Springer, 10/2008.*Lax Lenses,*, no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]

"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",

*Applied and Computational Category Theory*, Tallinn, Estonia, Pre-proceedings, 2012. [pdf]*Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX,*, no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016. [pdf]

*ZinovyDiskin-Photo,*, 2015. [jpg]

"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",

*Journal of Object Technology*, vol. 10, 2011.*Modeling product lines with Kripke structures and modal logic,*, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]

*From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,*, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]

"Modeling Product Lines with Kripke Structures and Modal Logic",

*GSD Technical Report*, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",

*3rd International Conference on Model Transformation*, Malaga, Spain, Springer, pp. 61-76, 06/2010. [pdf][ppt]
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",

*7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012)*, To appear, 2012. [pdf]
"Intermodeling, queries and Kleisli categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 10/2011. [pdf]*Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations,*, no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*MoDELS'10 Workshops: Reports and Selected Papers*, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [pdf]

"Model Synchronization: Mappings, Tiles and Categories",

*Generative and Transformational Techniques in Software Engineering, GTTSE'09*, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]*Tiling the view update problem,*, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009. [pdf]

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*1st Workshop on Model Driven Interoperability*, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010. [pdf][pdf]*Mechanics of Megamodeling: Design Patterns and Laws,*, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]