Recent News

Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
by Michal Antkiewicz on December 12, 2014

UPDATE: Available on the publishers website.
Clafer, ClaferIG, and ClaferWiki 0.3.7 Released
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.
Clafer Tools 0.3.6.1 Released
by Michal Antkiewicz on July 11, 2014

We are moving to a staged release model. First, Haskell-based tools, including the compiler, IG, and the wiki, followed by backends Choco3-based and Z3-based, finally followed by the web tools. This will allow us to make more frequent releases of the core components on which all others depend.

The binaries for Win, Linux, and Mac can be downloaded from Clafer Tools - Binary Distributions. There's also a "portable" distribution for Win which includes preconfigured Sublime Text 2.

For feature modeling, see Guidelines for Feature Modeling using Clafer.

For more information about the release see the clafer.org post.
Our paper "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization" accepted at ASE 2014
by Jianmei Guo on July 3, 2014

Our paper "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization" has been accepted as a full paper (acceptance rate: 55/276 ≈ 20%) at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). The corresponding, ongoing project is here.
Sixth International Workshop on Feature-Oriented Software Development (FOSD'14)
by Thorsten Berger on April 30, 2014

We are co-organizing this year's FOSD'14 workshop, which is co-located with the ASE, SLE, and GPCE conference. The workshop will take place on September 14 in Västerås, Sweden. We invite paper submissions on the theory and practice of engineering feature-oriented systems.

http://www.fosd.net/2014
Our paper "Optimizing Alloy for Multi-Objective Software Product Line Configuration" has been accepted for publication at ABZ'14
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.
Our paper "A Dataset of Feature Additions and Feature Removals from the Linux Kernel" has been accepted at MSR/2014
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.
Our paper "Flexible Product Line Engineering with a Virtual Platform" has been accepted for publication at ICSE'14 New Ideas and Emerging Research (NIER) track
by Michal Antkiewicz on March 18, 2014

UPDATE: the preprint of the paper is now available.
Our paper "Effects of Using Examples on Structural Model Comprehension" has been accepted for publication at ICSE'14
by Michal Antkiewicz on February 28, 2014

UPDATE: The preprint of the paper is now available.
Copenhagen Meeting on Variability Management'2014
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.
More news...

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

Kacper Bąk