Our paper is available here. An implementation of our feature model synthesis is available on BitBucket.
The Linux Variability Model used in our evaluation is available as a CNF formula in dimacs format.
Our lab is a very exciting place to learn and work!
Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.