
Valentin Rothberg,
M.Sc.
Member of the research staff at the
Department of Computer Science 4 (Distributed Systems and Operating Systems) at
Friedrich-Alexander-Universität Erlangen-Nürnberg.
Research and Academic Activities
- CADOS
- Configurability Aware Development of Operating Systems
- VAMOS
- Variability Management in Operating Systems
- i4LG
- Research reading group
Teaching
Winter Term 2016
Summer Term 2016
Winter Term 2015
Tool Recommendations
- vgrep: explore large (git) source repositories
Publications
(automatically exported by UnivIS)
Dietrich, Christian ; Rothberg, Valentin ; Füracker, Ludwig ; Ziegler, Andreas ; Lohmann, Daniel:
cHash: Detection of Redundant Compilations via AST Hashing.
In: USENIX Association (Ed.) : Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17)
(2017 USENIX Annual Technical Conference (ATC '17), Santa Clara, CA, 12.-14.7.2017).
2017, pp 527-538. - ISBN 978-1-931971-38-6
Keywords: Compiler, Optimization, CADOS (BibTeX)
Ziegler, Andreas ; Rothberg, Valentin ; Lohmann, Daniel:
Analyzing the Impact of Feature Changes in Linux.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Ed.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, pp 25-32. - ISBN 978-1-4503-4019-9
Keywords: CADOS, Linux
[doi>10.1145/2866614.2866618] (BibTeX)
Rothberg, Valentin ; Dintzner, Nicolas ; Ziegler, Andreas ; Lohmann, Daniel:
Feature Models in Linux - From Symbols to Semantic.
In: Schaefer, Ina ; Alves, Vander ; Santana de Almeida, Eduardo (Ed.) : Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
(10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16), Salvador, Brazil, 27.-29.01.2016).
New York, NY, USA : ACM Press, 2016, pp 65-72. - ISBN 978-1-4503-4019-9
Keywords: CADOS, Linux
[doi>10.1145/2866614.2866624] (BibTeX)
Rothberg, Valentin ; Dietrich, Christian ; Graf, Alexander ; Lohmann, Daniel:
Function Multiverses for Dynamic Variability.
In: Capilla, Rafael ; Eichelberger, Holger (Ed.) : Andersson, Jesper (Org.):
Foundations and Applications of Self* Systems
(9th International Workshop on Dynamic Software Product Lines - Variability at Runtime (DSPL16), Augsburg, 16.09.2016).
2016. (BibTeX)
Rothberg, Valentin ; Dietrich, Christian ; Ziegler, Andreas ; Lohmann, Daniel:
Towards Scalable Configuration Testing in Variable Software.
In: Fischer, Bernd ; Schaefer, Ina (Ed.) : Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences
(15th International Conference on Generative Programming: Concepts & Experience, Amsterdam, October 31-November 01, 2016).
2016. - ISBN 978-1-4503-4446-3
[doi>10.1145/2993236.2993252] (BibTeX)
Rothberg, Valentin:
Interrupt Handling in Linux.
Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg. 2015
(CS-2015-07). - Internal report. 23 pages (BibTeX)
Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ziegler, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
In: The Internet Society (Ed.) : Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13)
(Network and Distributed System Security Symposium, San Diego, CA United States, 24-27.2.2013).
2013, pp 1-18.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)
Tartler, Reinhard ; Kurmus, Anil ; Ziegler, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
In: USENIX (Ed.) : Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
(Eigth Workshop on Hot Topics in System Dependability, Hollywood, CA, USA, 7.10.2012).
2012.
Keywords: VAMOS, TCLOUDS, Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)
Theses
(automatically exported by UnivIS)
Open Topics
Ongoing Topics
Finished Topics
- Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
- Student: Jonas Rabenstein (handed in on 09.04.2016 )
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Dr.-Ing. Andreas Ziegler
- Hash-Based Change Impact Analysis with the Clang Compiler Framework (Clang-Hash)
- Supervisors: Prof. Dr.-Ing. Christian Dietrich, Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann
- Porting of OO/MPStuBS to the Rust Programming Language (StuBS-Rust)
- Supervisors: Prof. Dr.-Ing. Christian Dietrich, Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann
- Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
- Student: Patrick Plagwitz (handed in on 21.12.2015, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Valentin Rothberg, M. Sc.
Own Master's and Bachelor's Thesis
- Years of Variability Bugs in Linux - How to Avoid Them
- Student: Valentin Rothberg (handed in on 01.08.2014, Thesis file...)
- Supervisors: Prof. Dr.-Ing. habil. Daniel Lohmann
- Analysis of Configuration Coverage in Linux
- Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler