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

by Leonardo Passos on March 19, 2015

Our paper Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers has been given the best paper award from the ACM SIGPLAN Modularity'15 conference.

by Leonardo Passos on March 10, 2015

Our paper describes a longitudinal case study of feature scattering in the Linux kernel. In the hope of contributing towards a general scattering theory, we quantitatively and qualitatively
analyze almost eight years of Linux kernel development history, focusing on scattering of device-driver features.

by Jianmei Guo on February 15, 2015

Our paper "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers" has been accepted at SAE 2015 World Congress & Exhibition. More information is here.

by Michal Antkiewicz on December 12, 2014

UPDATE: Available on the publishers website.

by Michal Antkiewicz on October 29, 2014

Clafer compiler, Alloy-based instance generator, and wiki 0.3.7 are released on Hackage (clafer, claferIG, claferwiki).

For more information, see clafer.org post.