Friedrich-Alexander-Universität UnivisSucheEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
Reinhard Tartler
 
Kontakt
Department Informatik  >  Informatik 4  >  Personen  >  Tartler
Reinhard Tartler
 
 

Ehemaliger wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) der Universität Erlangen-Nürnberg.

Seit Oktober 2013 angestellt bei D.E. Shaw Research als "System Software Engineer".

Auszeichnungen und Professionelle Aktivitäten

MISS 2013 Program Committee
USENIX OSDI 2012 Student Grant
SCP Journal 2012 External Reviewer
EUROSYS 2010 Best Poster

Lehrveranstaltungen

Forchung

Veröffentlichungen

Die folgende Liste meiner Veröffentlichungen wird automatisch aus der UnivIS Publikationsdatenbank herausgezogen.

2014

Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue .
In: USENIX Association (Hrsg.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014)
(2014 USENIX ATC, Philadelphia, PA, USA, June 19-20, 2014).
2014, S. 421-432. - ISBN 978-1-931971-10-2
Stichwörter:  Algorithms, Design, Experimentation, Languages, Configurability, Maintenance, Linux, Static Analysis, CADOS, VAMOS (BibTeX)

2013

Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ruprecht, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring .
In: The Internet Society (Hrsg.) : 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, S. 1-18.
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Nadi, Sarah ; Dietrich, Christian ; Tartler, Reinhard ; Holt, Ric ; Lohmann, Daniel:
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
In: Zimmermann, Thomas ; Di Penta, Massimiliano ; Sung, Kim (Hrsg.) : Proceedings of the 10th Working Conference on Mining Software Repositories
(MRS 2013: The 10th Working Conference on Mining Software Repositories, San Francisco, CA, USA, 18.-19. Mai).
Los Alamitos, CA, USA : IEEE Computer Society, 2013, S. 111-120. - ISBN 978-1-4673-2936-1
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1109/MSR.2013.6624017] (BibTeX)

Tartler, Reinhard:
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software .
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2013.
- 178 Seiten. (BibTeX)

2012

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
A Robust Approach for Variability Extraction from the Linux Build System .
In: ACM Press (Hrsg.) : Proceedings of the 16th International Software Product Line Conference
(16th International Software Product Line Conference, Salvador - Brazil, September 02 - 07, 2012). Bd. 1.
New York : ACM Press, 2012, S. 21-30. - ISBN 978-1-4503-1094-9
Stichwörter:  Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Kbuild, Static Analysis, Variability, VAMOS
[doi>10.1145/2362536.2362544] (BibTeX)

Tartler, Reinhard ; Kurmus, Anil ; Ruprecht, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability .
In: USENIX (Hrsg.) : 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.
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration coverage in the analysis of large-scale system software .
In: SIGOPS Oper. Syst. Rev. (ACM OSR) 45 (2012), Nr. 3, S. 10-14
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/2094091.2094095] (BibTeX)

Tartler, Reinhard ; Sincero, Julio ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software .
In: International Journal on Software Tools for Technology Transfer (STTT) 14 (2012), Nr. 225, S. 531-551
Stichwörter:  Algorithms; Design; Experimentation; Management; Languages; Configurability; Maintenance; Linux; Static Analysis; VAMOS; i4vamos
[doi>10.1007/s10009-012-0225-2] (BibTeX)

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Understanding Linux Feature Distribution .
In: ACM Press (Hrsg.) : Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS ’12)
(2nd Workshop on Modularity In Systems Software, Potsdam, 27.3.2012).
New York, NY, USA : ACM, 2012, S. 15-19. - ISBN 978-1-4503-1222-6
Stichwörter:  Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, Variability, VAMOS
[doi>10.1145/2162024.2162030] (BibTeX)

2011

Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration Coverage in the Analysis of Large-Scale System Software .
In: ACM SIGOPS (Hrsg.) : Proceedings of the 4th Workshop on Programming Languages and Operating Systems
(4th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011).
2011.
Stichwörter:  Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Sincero, Julio ; Schröder-Preikschat, Wolfgang:
Feature Consistency in Compile-Time Configurable System Software .
In: Heiser, Gernoth ; Kirsch, Christoph (Hrsg.) : Proceedings of the EuroSys 2011 Conference (EuroSys '11)
(EuroSys 2011, Salzburg, 10-13 April 2011).
New York, NY, USA : ACM, 2011, S. 47-60. - ISBN 978-1-4503-0634-8
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/1966445.1966451] (BibTeX)

Tartler, Reinhard:
Finding and burying Configuration Defects in Linux with the undertaker .
Vortrag: Linux Plumbers Conference 2011,
Santa Rosa, 6.9.2011 (BibTeX)

2010

Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel:
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation .
Erlangen : University of Erlangen, Dept. of Computer Science. 2010
(CS-2010-02). - Interner Bericht. 19 Seiten
Stichwörter:  Linux, Conditional Compilation, Variability, Metrics, VAMOS (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Scheler, Fabian ; Spinczyk, Olaf:
AspectC++: An integrated approach for static and dynamic adaptation of system software .
In: Knowledge-Based Systems (2010), Nr. 23, S. 704-720
Stichwörter:  AOP; C++; AspectC++; Programming languages; Adaptable systems
[doi>10.1016/j.knosys.2010.03.002] (BibTeX)

Gernoth, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Sincero, Julio ; Tartler, Reinhard ; Wischermann, Dirk:
Challenges in Operating-Systems Reengineering for Many Cores .
In: Pankratius, Victor ; Philippsen, Michael (Hrsg.) : ACM/IEEE (Veranst.):
Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10)
(International Workshop on Multicore Software Engineering, Cape Town, South Africa, May 1, 2010).
Los Alamitos, CA, USA : ACM Press, 2010, S. 52-53. - ISBN 978-1-60558-964-0
Stichwörter:  VAMOS; Critical section engineering, operating systems, OS
[doi>10.1145/1808954.1808968] (BibTeX)

Tartler, Reinhard ; Sincero, Julio ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Configurability Bugs in Linux: The 10000 Feature Challenge .
In: USENIX Association (Hrsg.) : 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), Poster Session
(OSDI '10, Vancouver, BC, Canada, October 4–6, 2010).
2010.
Stichwörter:  VAMOS (BibTeX)

Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Efficient Extraction and Analysis of Preprocessor-Based Variability .
In: Visser, E. (Hrsg.) : Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)
(Generative Programming and Component Engineering (GPCE '10), Eindhoven, The Netherlands, October 2010).
New York, NY, USA : ACM Press, 2010, S. 33-42. - ISBN 978-1-4503-0154-1
Stichwörter:  VAMOS
[doi>10.1145/1868294.1868300] (BibTeX)

Sincero, Julio ; Tartler, Reinhard ; Egger, Christoph ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Facing the Linux 8000 Feature Nightmare .
In: ACM SIGOPS (Veranst.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session
(EUROSYS 2010, Paris, France, April 2010).
2010.
Stichwörter:  VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)

2009

Tartler, Reinhard ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Dead or Alive: Finding Zombie Features in the Linux Kernel .
In: Apel, Sven ; Cook, William ; Czarnecki, Krzysztof ; Kästner, Christian ; Loughran, Neil ; Nierstrasz, Oscar (Hrsg.) : Proceedings of the 1st Workshop on Feature-Oriented Software Development
(1st Workshop on Feature-Oriented Software Development, Denver, Colorado, USA, October 6, 2009).
Digital Library : ACM, 2009, S. 81-86.
Stichwörter:  Operating Systems, Software Families, Linux, VAMOS (BibTeX)

Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Dynamic AspectC++: Generic Advice at Any Time .
In: Fujita, Hamido ; Marík, Vladimír (Hrsg.) : Frontiers in Artificial Intelligence and Applications
(The 8th International Conference on Software Methodologies, Tools and Techniques, Prag, September 23-25).
Amterdam, The Netherlands : IOS Press, 2009, S. 165-186. - ISBN 978-1-60750-049-0
Stichwörter:  AOP, Aspect-opriented Programming, AspectC++, Dynamic Aspect Weaving, Languages
[doi>10.3233/978-1-60750-049-0-165] (BibTeX)

2008

2007

Tartler, Reinhard ; Steigerwald, Martin:
Verteilte Versionsverwaltung mit Bazaar .
In: Linux Magazin (2007), Nr. 6, S. 102-106
Stichwörter:  VCS; Bazaar; Versionskontrolle; QA; Linux (BibTeX)

2006

Lohmann, Daniel ; Scheler, Fabian ; Tartler, Reinhard ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang:
A Quantitative Analysis of Aspects in the eCOS Kernel .
In: European Chapter of ACM SIGOPS (Veranst.):
Proceedings of the EuroSys 2006 Conference
(EuroSys 2006, Leuven, Belgium, April 18-21, 2006).
Belgium : ACM Press, 2006, S. 191-204. - ISBN 1-59593-322-0
Stichwörter:  AOP; AspectC++, CiAO, eCos (BibTeX)



Kontakt:
EMail tartler@cs.fau.de
Telefon (09131) 85-28731
Fax (09131) 85-28732
Adresse:
Reinhard Tartler
Univ. Erlangen-Nürnberg
Informatik 4
Martensstr. 1
91058 Erlangen
Raum 0.050     Pläne
  Impressum Stand: 2014-06-01 02:37   RT