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.

# Delta-based Bidirectional Transformation

Traditional algebraic frameworks for bidirectional transformations are state-based: the input and output are states of data. But actual implementations are delta-based: the synchronizer tries to understand what is the delta resulted from the update, and then try to propagate the delta.

We show that state-based algebraic framework has several drawbacks, and build delta-based algebraic frameworks for both the asymmetric case and the symmetric case.

# Team Members

# News

# Tools

# Publications

*Compositionality of Update Propagation: Lax Putput,*, no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]

*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [pdf]

"Correctness of Model Synchronization Based on Triple Graph Grammars",

*ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems*: Springer, 10/2011. [pdf]
"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]*From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,*, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]

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

*Journal of Object Technology*, vol. 10, 2011.
"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]