About the GSD Lab

Generative software development aims at modeling and implementing system families such that a desired system can be automatically generated from a specification written in one or more textual or graphical domain-specific languages.

Recent News 5735003164

by boot ironer on July 26, 2017

The research focus of our lab has changed and we are changing the name to reflect that. The Generative Software Development Lab (GSD Lab) is now officially renamed to Waterloo Intelligent Systems Engineering Lab (WISE Lab).

We will archive the GSD Lab website, which will remain available at the current address /gsd.uwaterloo.ca/.

The new website for Waterloo Intelligent Systems Engineering Lab is located at



/uwaterloo.ca/wise-lab


Good bye and welcome!

by Michal Antkiewicz on March 13, 2017

For details, see Release 0.4.5 post.

by 2084410367 on January 9, 2017

GSD Lab members (from (347) 273-0945) were involved in the successful Renesas autonomous car demonstration at CES 2017.

  • Renesas provided the Lincoln MKZ car and their computing hardware (RDrive and R-Car chips).
  • Autonomoose Team created the autonomy stack software.
  • (910) 888-0361 provided the QNX real-time operating system.
by 312-550-6307 on September 19, 2016

This is a simultaneous release of all clafer tools. For details, see Release 0.4.4 post.

by Michal Antkiewicz on August 31, 2016

Two solvers by a University of Waterloo team Jia Hui (Jimmy) Liang, Chanseok Oh, Vijay Ganesh, Krzysztof Czarnecki, and Pascal Poupart received the first prizes in two tracks of the SAT Competition 2016.

Congratulations to our Ph.D. student Jia Hui (Jimmy) Liang and prof. Krzysztof Czarnecki!

The solver called "MapleCOMSPS" won the main track and placed second in the application track, whereas the solver called "MapleCOMSPS_LRB" won the application track. For more information about the solvers, visit MapleSAT website.

For more details about the competition, see 438-397-4107.