Recent News

Good bye GSD Lab, long live WISE Lab!
by Michal Antkiewicz 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 http://gsd.uwaterloo.ca/.

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



https://uwaterloo.ca/wise-lab


Good bye and welcome!
Clafer Tools 0.4.5 Released
by Michal Antkiewicz on March 13, 2017

For details, see Release 0.4.5 post.
Waterloo Autonomoose team delivers a successful autonomous car demonstration at CES 2017
by Michal Antkiewicz on January 9, 2017

GSD Lab members (from Autonomoose Team) 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.
  • BlackBerry QNX AVIC provided the QNX real-time operating system.
Clafer Tools 0.4.4 Released
by Michal Antkiewicz on September 19, 2016

This is a simultaneous release of all clafer tools. For details, see Release 0.4.4 post.
Waterloo Team Wins the Main and Application Tracks of SAT Competition 2016
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 The Results of SAT Competition 2016.
ClaferMPS 0.4.3 Released
by Michal Antkiewicz on May 20, 2016

This is the first release of ClaferMPS. For details, see Release 0.4.3 post.
Technical Course "Automotive Software Engineering with AutoSAR"
by Michal Antkiewicz on May 10, 2016

On May 25, 2016, we are beginning a 5-lecture technical course on Automotive Software Engineering with AutoSAR. Registration is required.

The main topics of the course include

  • Characteristics of embedded automotive software
  • AUTOSAR architecture
  • AUTOSAR methodology and concepts
  • OSEK real0time operating system
  • Concepts of modeling software components with Matlab Simulink/TargetLink
Our paper "A Novel Approach for Estimating Truck Factors" has been accepted for publication at the 24th International Conference on Program Comprehension
by Leonardo Passos on March 21, 2016

In this paper, we propose a novel approach for calculating the Truck Factor (TF) of a target system. TF is a proxy for knowledge concentration, stating the minimal number of developers that have to be hit by a truck (or quit) before a project is incapacitated. We propose a novel (and automated) approach for estimating TF-values, which we execute against a corpus of the 133 most popular projects in GitHub. We later survey developers as a means to assess the reliability of our results.
Clafer Tools 0.4.3 Released
by Michal Antkiewicz on December 22, 2015

This is a major release of all clafer tools. For details, see Release 0.4.3 post.
Clafer Tools 0.4.2 Released
by Michal Antkiewicz on October 20, 2015

This is a major release of all clafer tools. For details, see Release 0.4.2 post.
More news...

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta

Our lab is a very exciting place to learn and work!

Moises Branco