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

USENIX Conference A
MELF: Multivariant Executables for a Heterogeneous World

Dominik Töllner, Christian Dietrich, Illia Ostapyshyn, Florian Rommel, Daniel Lohmann2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]

×

BibTex Entry

@inproceedings{toellner:23:atc,
location = {Boston, MA},
author = {Töllner, Dominik and Dietrich, Christian and Ostapyshyn, Illia and Rommel, Florian and Lohmann, Daniel},
booktitle = {2023 USENIX Annual Technical Conference (USENIX '23)},
entrysubtype = {Conference},
isbn = {978-1-939133-35-9},
month = {July},
pages = {257–273},
publisher = {USENIX Association},
title = {{MELF}: Multivariant Executables for a Heterogeneous World},
url = {https://www.usenix.org/conference/atc23/presentation/tollner},
year = {2023},
}

Close

LCTES Conference B
Thread-Level Attack-Surface Reduction

Florian Rommel, Christian Dietrich, Andreas Ziegler, Illia Ostapyshyn, Daniel LohmannProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]

×

BibTex Entry

@inproceedings{rommel:23:lctes,
location = {New York, NY, USA},
author = {Rommel, Florian and Dietrich, Christian and Ziegler, Andreas and Ostapyshyn, Illia and Lohmann, Daniel},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596281},
entrysubtype = {Conference},
isbn = {979-8-4007-0174-0/23/06},
month = {June},
publisher = {ACM Press},
title = {Thread-Level Attack-Surface Reduction},
venue = {Orlando, Florida, USA},
year = {2023},
}

Close

Thesis
Automated Tailoring of System Software Stacks

Andreas Ziegler PHD thesisLeibniz Universität Hannover2023.
PDF 10.15488/15610 [BibTex]

×

BibTex Entry

@thesis{ziegler:23:phd,
author = {Andreas Ziegler},
doi = {10.15488/15610},
entrysubtype = {Thesis},
institution = {Leibniz Universität Hannover},
title = {Automated Tailoring of System Software Stacks},
url = {https://www.repo.uni-hannover.de/handle/123456789/15731},
year = {2023},
}

Close

ICSOFT Conference B Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing

Tobias Landsberg, Christian Dietrich, Daniel LohmannProceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]

×

BibTex Entry

@inproceedings{landsberg:22:icsoft,
location = {Lisbon, Portugal},
author = {Landsberg, Tobias and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 17th International Conference on Software Technologies - ICSOFT},
doi = {10.5220/0011139200003266},
entrysubtype = {Conference},
isbn = {978-989-758-588-3},
issn = {2184-2833},
month = {July},
organization = {INSTICC},
pages = {33-45},
publisher = {SciTePress},
title = {TASTING: Reuse Test-case Execution by Global AST Hashing},
year = {2022},
}

Close

PLOS Workshop C
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions

Christian DietrichProceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)ACM2021.
PDF Slides Video Teaser Video Raw Data 10.1145/3477113.3487268 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:21:plos,
location = {New York, NY, USA},
author = {Christian Dietrich},
booktitle = {Proceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)},
doi = {10.1145/3477113.3487268},
entrysubtype = {Workshop},
isbn = {978-1-4503-8707-1/21/10},
location = {Virtual Event},
month = {October},
publisher = {ACM},
title = {CppSig: Extracting Type Information for C-Preprocessor Macro Expansions},
year = {2021},
}

Close

Thesis
OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective

Ralf Ramsauer PHD thesisLeibniz Universität Hannover2021.
PDF 10.15488/11722 [BibTex]

×

BibTex Entry

@thesis{ramsauer:21:phd,
author = {Ralf Ramsauer},
doi = {10.15488/11722},
entrysubtype = {Thesis},
institution = {Leibniz Universität Hannover},
title = {{OSS} Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective},
url = {https://www.repo.uni-hannover.de/handle/123456789/11815},
year = {2021},
}

Close

OSDI Conference A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]

×

BibTex Entry

@inproceedings{rommel:20:osdi,
author = {Florian Rommel and Christian Dietrich and Daniel Friesel and Marcel K{ö}ppen and Christoph Borchert and Michael M{ü}ller and Olaf Spinczyk and Daniel Lohmann},
booktitle = {14th Symposium on Operating System Design and Implementation (OSDI '20)},
entrysubtype = {Conference},
month = {November},
pages = {651-666},
title = {From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes},
year = {2020},
}

Close

CCSW Workshop
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects

Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang MauererProceedings of the 12th Cloud Computing Security Workshop (CCSW '20)ACM2020.
PDF Video 10.1145/3411495.3421360 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:20:ccs-ccsw,
author = {Ralf Ramsauer and Lukas Bulwahn and Daniel Lohmann and Wolfgang Mauerer},
booktitle = {Proceedings of the 12th Cloud Computing Security Workshop (CCSW '20)},
doi = {10.1145/3411495.3421360},
entrysubtype = {Workshop},
month = {11},
numpages = {9},
publisher = {ACM},
title = {The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects},
venue = {Virtual Event},
year = {2020},
}

Close

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]

×

BibTex Entry

@article{ziegler:19:emsoft,
acmid = {3358222},
location = {New York, NY, USA},
articleno = {102},
author = {Andreas Ziegler and Julian Geus and Bernhard Heinloth and Timo H{ö}nig and Daniel Lohmann},
doi = {10.1145/3358222},
entrysubtype = {Journal},
issn = {1539-9087},
journaltitle = {ACM Transactions on Embedded Computing Systems},
keywords = {Shared Libraries; Binary Tailoring; Linux},
month = {October},
number = {5s},
numpages = {23},
pages = {102:1–102:23},
publisher = {ACM Press},
title = {Honey, {I} Shrunk the {ELFs}: Lightweight Binary Tailoring of Shared Libraries},
volume = {18},
year = {2019},
}

Close

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]

×

BibTex Entry

@inproceedings{ramsauer:19:icse,
author = {Ralf Ramsauer and Daniel Lohmann and Wolfgang Mauerer},
booktitle = {Proceedings of the 41st International Conference on Software Engineering (ICSE '19)},
doi = {10.1109/ICSE.2019.00088},
entrysubtype = {Conference},
month = {May},
pages = {807–818},
title = {The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists},
venue = {Montreal, QC, Canada},
year = {2019},
}

Close

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 Slides 10.1145/3302424.3303959 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:eurosys,
location = {New York, NY, USA},
author = {Florian Rommel and Christian Dietrich and Michael Rodin and Daniel Lohmann},
booktitle = {Fourteenth EuroSys Conference 2019 (EuroSys '19)},
doi = {10.1145/3302424.3303959},
entrysubtype = {Conference},
isbn = {978-1-4503-6281-8},
publisher = {ACM Press},
title = {Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software},
venue = {Dresden, Germany},
year = {2019},
}

Close

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 Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:plos,
acmid = {3365404},
location = {New York, NY, USA},
author = {Rommel, Florian and Glauer, Lennart and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)},
doi = {10.1145/3365137.3365404},
entrysubtype = {Workshop},
isbn = {978-1-4503-7017-2},
location = {Huntsville, ON, Canada},
numpages = {7},
pages = {23–29},
publisher = {ACM},
title = {Wait-Free Code Patching of Multi-Threaded Processes},
year = {2019},
}

Close

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 '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:usenix,
location = {Berkeley, CA, USA},
author = {Christian Dietrich and Valentin Rothberg and Ludwig Füracker and Andreas Ziegler and Daniel Lohmann},
booktitle = {Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)},
entrysubtype = {Conference},
location = {Santa Clara, CA, USA},
month = {July},
publisher = {USENIX Association},
title = {{cHash:} Detection of Redundant Compilations via {AST} Hashing},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/dietrich},
venue = {Santa Clara, CA, USA},
year = {2017},
}

Close

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]

×

BibTex Entry

@inproceedings{ziegler:16:vamos,
location = {New York, NY, USA},
author = {Andreas Ziegler and Valentin Rothberg and Daniel Lohmann},
booktitle = {{Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems}},
doi = {10.1145/2866614.2866618},
editor = {Ina Schaefer and Vander Alves and Eduardo Santana de Almeida},
entrysubtype = {Workshop},
isbn = {978-1-4503-4019-9},
keywords = {CADOS, Linux},
location = {Salvador, Brazil},
pages = {25–32},
title = {{Analyzing the Impact of Feature Changes in Linux}},
year = {2016},
}

Close

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]

×

BibTex Entry

@inproceedings{rothberg:16:vamos,
location = {New York, NY, USA},
author = {Valentin Rothberg and Nicolas Dintzner and Andreas Ziegler and Daniel Lohmann},
booktitle = {Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems},
doi = {10.1145/2866614.2866624},
editor = {Ina Schaefer and Vander Alves and Eduardo Santana de Almeida},
entrysubtype = {Workshop},
isbn = {978-1-4503-4019-9},
keywords = {CADOS, Linux},
location = {Salvador, Brazil},
pages = {65–72},
title = {Feature Models in {Linux} - From Symbols to Semantic},
year = {2016},
}

Close

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]

×

BibTex Entry

@inproceedings{ramsauer:16:opensym,
location = {New York},
author = {Ralf Ramsauer and Daniel Lohmann and Wolfgang Mauerer},
booktitle = {Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)},
doi = {10.1145/2957792.2957810},
editor = {Tony Wassermann},
entrysubtype = {Conference},
keywords = {CADOS; patch stacks; collaboration; Linux; maintenance},
location = {Berlin},
title = {Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks},
year = {2016},
}

Close

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]

×

BibTex Entry

@inproceedings{rothberg:16:gpce,
author = {Valentin Rothberg and Christian Dietrich and Andreas Ziegler and Daniel Lohmann},
booktitle = {{Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)}},
doi = {10.1145/2993236.2993252},
editor = {Bernd Fischer and Ina Schaefer},
entrysubtype = {Conference},
isbn = {978-1-4503-4446-3},
location = {Amsterdam},
title = {{Towards Scalable Configuration Testing in Variable Software}},
year = {2016},
}

Close

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]

×

BibTex Entry

@article{dietrich:15:acmosr,
location = {New York, NY, USA},
author = {Christian Dietrich and Daniel Lohmann},
doi = {10.1145/2723872.2723880},
entrysubtype = {Journal},
journaltitle = {ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental Artifacts},
numpages = {10},
pages = {51–60},
publisher = {ACM Press},
title = {The {dataref} {versuchung}},
year = {2015},
}

Close

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]

×

BibTex Entry

@inproceedings{ruprecht:14:gpce,
location = {New York, NY, USA},
ar = {34\% (16/47)},
author = {Andreas Ruprecht and Bernhard Heinloth and Daniel Lohmann},
booktitle = {Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)},
doi = {10.1145/2658761.2658767},
editor = {Matthew Flatt},
entrysubtype = {Conference},
isbn = {978-1-4503-3161-6},
keywords = {CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation},
month = {September},
pages = {39–48},
publisher = {ACM Press},
title = {Automatic Feature Selection in Large-Scale System-Software Product Lines},
venue = {V{ä}ster{å}s, Sweden},
year = {2014},
}

Close

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 '14)USENIX Association2014.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{tartler:14:usenix,
location = {Berkeley, CA, USA},
ar = {18\% (44/241)},
author = {Reinhard Tartler and Christian Dietrich and Julio Sincero and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)},
category = {L4},
entrysubtype = {Conference},
isbn = {978-1-931971-10-2},
month = {June},
pages = {421–432},
publisher = {USENIX Association},
title = {Static Analysis of Variability in System Software: The 90,000 \#ifdefs Issue},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/tartler},
venue = {Philadelphia, PA, USA},
year = {2014},
}

Close

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]

×

BibTex Entry

@thesis{tartler:13:phd,
author = {Reinhard Tartler},
entrysubtype = {Thesis},
location = {Erlangen},
institution = {Friedrich-Alexander-Universit{ä}t Erlangen-N{ü}rnberg},
title = {Mastering Variability Challenges in {Linux} and Related Highly-Configurable System Software},
year = {2013},
}

Close

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]

×

BibTex Entry

@inproceedings{ruprecht:14:gpce,
location = {New York, NY, USA},
ar = {34\% (16/47)},
author = {Andreas Ruprecht and Bernhard Heinloth and Daniel Lohmann},
booktitle = {Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)},
doi = {10.1145/2658761.2658767},
editor = {Matthew Flatt},
entrysubtype = {Conference},
isbn = {978-1-4503-3161-6},
keywords = {CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation},
month = {September},
pages = {39–48},
publisher = {ACM Press},
title = {Automatic Feature Selection in Large-Scale System-Software Product Lines},
venue = {V{ä}ster{å}s, Sweden},
year = {2014},
}

Close

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 '14)USENIX Association2014.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{tartler:14:usenix,
location = {Berkeley, CA, USA},
ar = {18\% (44/241)},
author = {Reinhard Tartler and Christian Dietrich and Julio Sincero and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)},
category = {L4},
entrysubtype = {Conference},
isbn = {978-1-931971-10-2},
month = {June},
pages = {421–432},
publisher = {USENIX Association},
title = {Static Analysis of Variability in System Software: The 90,000 \#ifdefs Issue},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/tartler},
venue = {Philadelphia, PA, USA},
year = {2014},
}

Close

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]

×

BibTex Entry

@inproceedings{nadi:13:msr,
location = {Washington, DC, USA},
author = {Sarah Nadi and Christian Dietrich and Reinhard Tartler and Ric Holt and Daniel Lohmann},
booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)},
doi = {10.1109/MSR.2013.6624017},
entrysubtype = {Conference},
isbn = {978-1-4799-0345-0},
month = {May},
pages = {111-120},
publisher = {IEEE Computer Society Press},
title = {Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?},
year = {2013},
}

Close

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 SymposiumThe Internet Society2013.
PDF [BibTex]

×

BibTex Entry

@inproceedings{kurmus:13:ndss,
ar = {18\%},
author = {Anil Kurmus and Reinhard Tartler and Daniela Dorneanu and Bernhard Heinloth and Valentin Rothberg and Andreas Ruprecht and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann and R{ü}diger Kapitza},
booktitle = {Proceedings of the 20th Network and Distributed Systems Security Symposium},
entrysubtype = {Conference},
eventdate = {2013-02-24/2013-02-27},
publisher = {The Internet Society},
title = {Attack Surface Metrics and Automated Compile-Time {OS} Kernel Tailoring},
url = {https://www.ndss-symposium.org/ndss2013/attack-surface-metrics-and-automated-compile-time-os-kernel-tailoring},
venue = {San Diego, CA, USA},
year = {2013},
}

Close

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]

×

BibTex Entry

@article{tartler:12:sttt,
location = {Heidelberg, Germany},
author = {Reinhard Tartler and Julio Sincero and Christian Dietrich and Wolfgang Schröder-Preikschat and Daniel Lohmann},
category = {L4, InvasIC},
doi = {10.1007/s10009-012-0225-2},
entrysubtype = {Journal},
journaltitle = {International Journal on Software Tools for Technology Transfer (STTT)},
month = {February},
number = {5},
pages = {531-551},
publisher = {Springer-Verlag},
title = {Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software},
volume = {14},
year = {2012},
}

Close

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]

×

BibTex Entry

@article{tartler:12:acmosr,
acmid = {2094095},
location = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
doi = {10.1145/2094091.2094095},
entrysubtype = {Journal},
issn = {0163-5980},
issue_date = {December 2011},
journaltitle = {ACM SIGOPS Operating Systems Review},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
month = {January},
number = {3},
numpages = {5},
pages = {10–14},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
volume = {45},
year = {2012},
}

Close

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]

×

BibTex Entry

@inproceedings{dietrich:12:splc,
location = {New York, NY, USA},
ar = {33\% (22/66)},
author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 16th Software Product Line Conference (SPLC '12)},
doi = {10.1145/2362536.2362544},
editor = {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
entrysubtype = {Conference},
eventdate = {2012-09-02/2012-09-07},
isbn = {978-1-4503-1094-9},
pages = {21–30},
publisher = {ACM Press},
title = {A Robust Approach for Variability Extraction from the Linux Build System},
venue = {Salvador, Brazil},
year = {2012},
}

Close

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]

×

BibTex Entry

@inproceedings{tartler:12:hotdep,
location = {Berkeley, CA, USA},
ar = {42\%},
author = {Reinhard Tartler and Anil Kurmus and Bernard Heinloth and Valentin Rothberg and Andreas Ruprecht and Daniela Doreanu and R{ü}diger Kapitza and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 8th International Workshop on Hot Topics in System Dependability (HotDep '12)},
entrysubtype = {Workshop},
pages = {1–6},
publisher = {USENIX Association},
title = {Automatic {OS} Kernel {TCB} Reduction by Leveraging Compile-Time Configurability},
url = {https://www.usenix.org/system/files/conference/hotdep12/hotdep12-final11.pdf},
venue = {Los Angeles, CA, USA},
year = {2012},
}

Close

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]

×

BibTex Entry

@inproceedings{dietrich:12:aosd-miss,
location = {New York, NY, USA},
author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)},
doi = {10.1145/2162024.2162030},
editor = {Christoph Borchert and Michael Haupt and Daniel Lohmann},
entrysubtype = {Workshop},
eventdate = {2012-03-27},
isbn = {978-1-4503-1217-2},
publisher = {ACM Press},
title = {Understanding {Linux} Feature Distribution},
venue = {Potsdam, Germany},
year = {2012},
}

Close

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]

×

BibTex Entry

@inproceedings{tartler:11:eurosys,
location = {New York, NY, USA},
ar = {15\% (24/161)},
author = {Reinhard Tartler and Daniel Lohmann and Julio Sincero and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)},
category = {se-vm,I4},
doi = {10.1145/1966445.1966451},
editor = {Christoph M. Kirsch and Gernot Heiser},
entrysubtype = {Conference},
isbn = {978-1-4503-0634-8},
month = {April},
numpages = {14},
pages = {47-60},
publisher = {ACM Press},
title = {Feature Consistency in Compile-Time-Configurable System Software: Facing the {Linux} 10,000 Feature Problem},
venue = {Salzburg, Austria},
year = {2011},
}

Close

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]

×

BibTex Entry

@inproceedings{lohmann:11:aosd,
location = {New York, NY, USA},
ar = {23\% (21/92)},
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{ö}der-Preikschat and Olaf Spinczyk},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)},
category = {L4, DanceOS},
doi = {10.1145/1960275.1960285},
editor = {Shigeru Chiba},
entrysubtype = {Conference},
isbn = {978-1-4503-0605-8},
pages = {69–80},
publisher = {ACM Press},
title = {Aspect-Aware Operating-System Development},
venue = {Porto de Galinhas, Brazil},
year = {2011},
}

Close

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]

×

BibTex Entry

@inproceedings{tartler:11:plos,
location = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)},
doi = {10.1145/2039239.2039242},
editor = {Eric Eide and Gilles Muller and Olaf Spinczyk and Wolfgang Schr{ö}der-Preikschat},
entrysubtype = {Workshop},
isbn = {978-1-4503-0979-0},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
pages = {2:1–2:5},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
venue = {Cascais, Portugal},
year = {2011},
}

Close

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]

×

BibTex Entry

@inbook{hofer:11:nfp,
location = {Hershey, PA, USA},
author = {Wanja Hofer and Julio Sincero and Daniel Lohmann and Wolfgang Schröder-Preikschat},
category = {ciao, aop, L4},
chapter = {5},
doi = {10.4018/978-1-60960-493-6},
entrysubtype = {Book Chapter},
pages = {84–103},
publisher = {IGI Global},
series = {Methodologies for Non-Functional Requirements in Service Oriented Architecture},
title = {Configuration of Non-Functional Properties in Embedded Operating Systems: The {CiAO} Approach},
year = {2011},
}

Close

OSDI Poster
Configurability Bugs in Linux: The 10000 Feature Challenge

Reinhard Tartler, Julio Sincero, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann2010Poster.
PDF [BibTex]

×

BibTex Entry

@misc{tartler:10:osdi-poster,
author = {Reinhard Tartler and Julio Sincero and Christoph Egger and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
entrysubtype = {Poster},
howpublished = {9th USENIX Symposium on Operating System Design and Implementation (OSDI '10))},
month = {October},
note = {Poster},
title = {Configurability Bugs in {Linux}: The 10000 Feature Challenge},
year = {2010},
}

Close

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]

×

BibTex Entry

@misc{hofer:10:osdi-poster,
author = {Wanja Hofer and Christoph Elsner and Frank Blendinger and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
entrysubtype = {Poster},
howpublished = {9th USENIX Symposium on Operating System Design and Implementation (OSDI '10))},
month = {October},
note = {Poster},
title = {Leviathan: Taming the {\#}ifdef Beast in {Linux} et al.},
year = {2010},
}

Close

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]

×

BibTex Entry

@inproceedings{elsner:10:splc,
location = {Heidelberg, Germany},
ar = {31\% (28/90)},
author = {Christoph Elsner and Peter Ulbrich and Daniel Lohmann and Wolfgang Schr{ö}der-Preikschat},
booktitle = {Proceedings of the 14th Software Product Line Conference (SPLC '10)},
doi = {10.1007/978-3-642-15579-6_13},
editor = {Kyo Kang},
isbn = {978-3-642-15578-9},
month = {September},
pages = {181-195},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Consistent Product Line Configuration Across File Type and Product Line Boundaries},
venue = {Jeju Island, South Korea},
volume = {6287},
year = {2010},
}

Close

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]

×

BibTex Entry

@inproceedings{hofer:10:splc-poster,
location = {Heidelberg, Germany},
author = {Wanja Hofer and Christoph Elsner and Frank Blendinger and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 14th Software Product Line Conference (SPLC '10)},
doi = {10.1007/978-3-642-15579-6_43},
editor = {Kyo Kang},
entrysubtype = {Poster},
isbn = {978-3-642-15578-9},
month = {September},
note = {Poster},
pages = {491–491},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Leviathan: {SPL} Support on Filesystem Level},
venue = {Jeju Island, South Korea},
volume = {6287},
year = {2010},
}

Close

EuroSys Poster
Facing the Linux 8000 Feature Nightmare

Julio Sincero, Reinhard Tartler, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann2010Talk & Poster.
PDF [BibTex]

×

BibTex Entry

@misc{sincero:10:eurosys-poster,
author = {Julio Sincero and Reinhard Tartler and Christoph Egger and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
entrysubtype = {Poster},
howpublished = {ACM SIGOPS/EuroSys European Conference on Computer Systems 2009 (EuroSys '09))},
month = {April},
note = {Talk \& Poster},
title = {Facing the {L}inux 8000 Feature Nightmare},
year = {2010},
}

Close

Technical Report
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation

Julio Sincero, Reinhard Tartler, Daniel Lohmann2010.
PDF [BibTex]

×

BibTex Entry

@report{sincero:10:tr,
abstract = {The C Preprocessor (CPP) provides powerful means to implement variability. Therefore the tool CPP is an important standard asset in the development toolchain for classical system software written in C. Yet, nobody has seriously quantified the effects of implementing variability with conditional compilation. In this report we describe conditional compilation in a semi-formal way. On this basis, we present an algorithm that is able to calculate the resulting variability. With this, we believe that further analysis on variability caused by preprocessor based configuration can be supported. This is useful to detect bugs caused by inconsistencies between variability models in the actual implementation and to support exploration of actually implemented variability in source artifacts.},
author = {Julio Sincero and Reinhard Tartler and Daniel Lohmann},
category = {pl},
entrysubtype = {Technical Report},
institution = {Friedrich-Alexander-University (FAU), Department Informatik},
month = {January},
number = {CS-2010-02},
title = {An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation},
year = {2010},
}

Close

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]

×

BibTex Entry

@inproceedings{gernoth:10:icse-iwmse,
location = {New York, NY, USA},
author = {Michael Gernoth and Daniel Lohmann and Wolfgang Schr{ö}der-Preikschat and Julio Sincero and Reinhard Tartler and Dirk Wischermann},
booktitle = {Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE '10)},
doi = {10.1145/1808954.1808968},
editor = {Victor Pankratius and Michael Philippsen},
entrysubtype = {Workshop},
isbn = {978-1-60558-964-0},
pages = {52–53},
publisher = {ACM Press},
title = {Challenges in Operating-Systems Reengineering for Many Cores},
venue = {Cape Town, South Africa},
year = {2010},
}

Close

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]

×

BibTex Entry

@inproceedings{hofer:10:fosd,
location = {New York, NY, USA},
author = {Wanja Hofer and Christoph Elsner and Frank Blendinger and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD '10)},
category = {pl},
doi = {10.1145/1868688.1868692},
editor = {Christian K{ä}stner},
entrysubtype = {Workshop},
isbn = {978-1-4503-0208-1},
pages = {18–24},
publisher = {ACM Press},
title = {Toolchain-Independent Variant Management with the {L}eviathan Filesystem},
venue = {Eindhoven, The Netherlands},
year = {2010},
}

Close

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]

×

BibTex Entry

@inproceedings{tartler:09:fosd,
location = {New York, NY, USA},
author = {Reinhard Tartler and Julio Sincero and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09)},
category = {se,se-vm,I4},
doi = {10.1145/1629716.1629732},
editor = {Sven Apel and William R. Cook and Krzysztof Czarnecki and Christian K{ä}stner and Neil Loughran and Oscar Nierstrasz},
entrysubtype = {Workshop},
isbn = {978-1-60558-567-3},
pages = {81-86},
publisher = {ACM Press},
title = {Dead or Alive: Finding zombie features in the {Linux} kernel},
venue = {Denver, CO, USA},
year = {2009},
}

Close