CADOS is the follow-up project to VAMOS. The following publications are forming the foundation for our CADOS research. The dissertation of Dr.-Ing. Reinhard Tartler provides a good overview over the VAMOS project.

CADOS Publications

EMSOFT Journal A
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries
Andreas Ziegler, Julian Geus, Bernhard Heinloth, Timo Hönig, Daniel LohmannACM Transactions on Embedded Computing Systems18.5sACM Press2019.
PDF Raw Data 10.1145/3358222 [BibTex]
EuroSys Conference A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software
Florian Rommel, Christian Dietrich, Michael Rodin, Daniel LohmannFourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF 10.1145/3302424.3303959 [BibTex]
ICSE Conference A*
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists
Ralf Ramsauer, Daniel Lohmann, Wolfgang MauererProceedings of the 41st International Conference on Software Engineering (ICSE '19)2019.
PDF Raw Data 10.1109/ICSE.2019.00088 [BibTex]
PLOS Workshop B
Wait-Free Code Patching of Multi-Threaded Processes
Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel LohmannProceedings of the 10th SOSP Workshop on Programming Languages and Operating SystemsACM2019.
PDF 10.1145/3365137.3365404 [BibTex]
USENIX Conference A Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing
Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel LohmannProceedings of the 2017 USENIX Annual Technical Conference USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]
VAMOS Workshop
Analyzing the Impact of Feature Changes in Linux
Andreas Ziegler, Valentin Rothberg, Daniel LohmannProceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems2016.
PDF 10.1145/2866614.2866618 [BibTex]
VAMOS Workshop
Feature Models in Linux - From Symbols to Semantic
Valentin Rothberg, Nicolas Dintzner, Andreas Ziegler, Daniel LohmannProceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems2016.
PDF 10.1145/2866614.2866624 [BibTex]
OpenSym Conference
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks
Ralf Ramsauer, Daniel Lohmann, Wolfgang MauererProceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)2016.
PDF 10.1145/2957792.2957810 [BibTex]
GPCE Conference B
Towards Scalable Configuration Testing in Variable Software
Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel LohmannProceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]
OSR Journal
The dataref versuchung
Christian Dietrich, Daniel LohmannACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]
GPCE Conference B
Automatic Feature Selection in Large-Scale System-Software Product Lines
Andreas Ruprecht, Bernhard Heinloth, Daniel LohmannProceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]
USENIX Conference A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue
Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2014 USENIX Annual Technical Conference USENIX Association2014.
PDF Raw Data [BibTex]

VAMOS Publications

CADOS is the follow-up project to VAMOS.

Thesis
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software
Reinhard Tartler PHD thesisFriedrich-Alexander-Universität Erlangen-Nürnberg2013.
PDF [BibTex]
GPCE Conference B
Automatic Feature Selection in Large-Scale System-Software Product Lines
Andreas Ruprecht, Bernhard Heinloth, Daniel LohmannProceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]
USENIX Conference A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue
Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2014 USENIX Annual Technical Conference USENIX Association2014.
PDF Raw Data [BibTex]
NDSS Conference A*
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring
Anil Kurmus, Reinhard Tartler, Daniela Dorneanu, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Wolfgang Schröder-Preikschat, Daniel Lohmann, Rüdiger KapitzaProceedings of the 20th Network and Distributed Systems Security Symposium The Internet Society2013.
PDF [BibTex]
MSR Conference A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel LohmannProceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]
SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]
HotDep Workshop
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability
Reinhard Tartler, Anil Kurmus, Bernard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Doreanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 8th International Workshop on Hot Topics in System Dependability (HotDep '12)USENIX Association2012.
PDF [BibTex]
OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]
STTT Journal B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software
Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel LohmannInternational Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]
AOSD-MISS Workshop
Understanding Linux Feature Distribution
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]
AOSD Conference A
Aspect-Aware Operating-System Development
Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf SpinczykProceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)ACM Press2011.
PDF 10.1145/1960275.1960285 [BibTex]
PLOS Workshop B
Configuration Coverage in the Analysis of Large-Scale System Software
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroProceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]
Book Chapter
Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach
Wanja Hofer, Julio Sincero, Daniel Lohmann, Wolfgang Schröder-PreikschatIGI Global2011.
PDF 10.4018/978-1-60960-493-6 [BibTex]
EuroSys Conference A
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem
Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-PreikschatProceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
PDF 10.1145/1966445.1966451 [BibTex]
Technical Report
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation
Julio Sincero, Reinhard Tartler, Daniel Lohmann2010.
PDF [BibTex]
IWMSE Workshop
Challenges in Operating-Systems Reengineering for Many Cores
Michael Gernoth, Daniel Lohmann, Wolfgang Schröder-Preikschat, Julio Sincero, Reinhard Tartler, Dirk WischermannProceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE '10)ACM Press2010.
PDF 10.1145/1808954.1808968 [BibTex]
OSDI Poster
Configurability Bugs in Linux: The 10000 Feature Challenge
Reinhard Tartler, Julio Sincero, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann2010Poster.
PDF [BibTex]
SPLC Best Paper Award
Consistent Product Line Configuration Across File Type and Product Line Boundaries
Christoph Elsner, Peter Ulbrich, Daniel Lohmann, Wolfgang Schröder-PreikschatProceedings of the 14th Software Product Line Conference (SPLC '10)Springer-Verlag2010Best Paper Award.
PDF 10.1007/978-3-642-15579-6_13 [BibTex]
EuroSys Poster
Facing the Linux 8000 Feature Nightmare
Julio Sincero, Reinhard Tartler, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann2010Talk & Poster.
PDF [BibTex]
SPLC Poster
Leviathan: SPL Support on Filesystem Level
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 14th Software Product Line Conference (SPLC '10)Springer-Verlag2010Poster.
PDF 10.1007/978-3-642-15579-6_43 [BibTex]
OSDI Poster
Leviathan: Taming the #ifdef Beast in Linux et al.
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel Lohmann2010Poster.
PDF [BibTex]
FOSD Workshop
Toolchain-Independent Variant Management with the Leviathan Filesystem
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD '10)ACM Press2010.
PDF 10.1145/1868688.1868692 [BibTex]
FOSD Workshop
Dead or Alive: Finding zombie features in the Linux kernel
Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09)ACM Press2009.
PDF 10.1145/1629716.1629732 [BibTex]