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 on April 10, 2014

 Our paper, which explores techniques to reduce the Kodkod universe size and speed up solving times for SPL optimization in Alloy,  has been accepted as a short research paper at ABZ'14, and will be presented this June in Toulouse, France.

by Leonardo Passos on March 30, 2014

This paper describes a dataset of feature additions and removals in the Linux kernel evolution history, spanning over seven years of kernel development. Features, in this context, denote configurable system options that users select when creating customized kernel images. The provided dataset is the largest corpus we are aware of capturing feature additions and removals, allowing researchers to assess the kernel evolution from a feature-oriented point-of-view.

by Michal Antkiewicz on March 18, 2014

UPDATE: the preprint of the paper is now available.

by Michal Antkiewicz on February 28, 2014

UPDATE: The preprint of the paper is now available.

by Michal Antkiewicz on February 24, 2014

We are co-organizing a Copenhagen Meeting on Variability Management'2014 which will take place at ITU Copenhagen on Monday, March 3rd, 2014.

Similarly to the Product Line Engineering Workshop'2013 @ University of Waterloo, the meeting can be attended both in-person and on-line. The information for on-line attendance will be posted on the meeting's page.

UPDATE (Mar 9, 2014): The video recordings of all talks are now available on the meeting's page.