SPLC'20: A BDD for Linux? The Knowledge Compilation Challenge for Variability
Channel: Thomas Thüm
Date: 2020-10-11

Challenge Website: https://variability-challenges.github.io/2020/Linux/
Slides: https://github.com/SoftVarE-Group/Slides/blob/main/2020/2020-10-22-SPLC-LinuxBDD.pdf
Slides (Handout): https://github.com/SoftVarE-Group/Slides/blob/main/2020/2020-10-22-SPLC-LinuxBDD-handout.pdf
Preprint: https://github.com/SoftVarE-Group/Papers/blob/main/2020/2020-SPLC-Thuem.pdf

What is the number of valid configurations for Linux? How to generate uniform random samples for Linux? Can we create a binary decision diagram for Linux? It seems that the product-line community tries hard to answer such questions for Linux and other configurable systems. However, attempts are often not published due to the publication bias (i.e., unsuccessful attempts are not published). As a consequence, researchers keep trying by potentially spending redundant effort. The goal of this challenge is to guide research on these computationally complex problems and to foster the exchange between researchers and practitioners.