Sebastian Hahn

Real-Time and Embedded Systems Lab
Universität des Saarlandes
Phone: +49 681 302 5571
eMail:
Building: E 1 3 Room: 402
Coordinates: N 49.257833° E 7.045144°

Short CV

I joined the group of Jan Reineke in 2013.
Prior to that, I worked on relational cache analysis in the group of Reinhard Wilhelm advised by Daniel Grund. I completed my B.Sc. on relational cache analysis in late 2011. Since 2012, I am a member of the Graduate School of Computer Science at Saarland University.
I received my M.Sc. on a formal definition of timing compositionality in early 2015.
Until the end of 2015, I was part of the DFG SFB/TR 14 Automatic Verification and Analysis of Complex Systems working on timing compositionality.
From 2017 on, I work on timing-predictable processor designs and corresponding timing analyses within the DFG project "PEP: Precise and Efficient Prediction of Good Worst-case Performance for Contemporary and Future Architectures".

Research Interests

Embedded Systems
Static Program Analysis, especially Timing Analysis
Computer Architecture, especially in the context of timing predictability
Timing compositionality

Teaching

Winter 2016/2017, Winter 2018/2019

Seminar: Hardware Design

Summer 2015, Winter 2017/2018

Advanced Course: Verification of Real-Time Systems

Summer 2014, Summer 2016, Summer 2017

Basic Course: Systemarchitektur

Winter 2012/2013

Advanced Course: Development of Safety-Critical Embedded Systems

Summer 2012

Core Course: Embedded Systems

Thesis Advisor

Claus Faymonville
Evaluating compositional timing analyses
Master Thesis, Saarland University, 2015
Benjamin Meyer
Development of a Controller for the Automated Reconnection of Trolleybus Poles
Master Thesis, Saarland University, 2015
Tobias Blaß
Array-aware Cache Analysis for Write-through and Write-back Caches
Master Thesis, Saarland University, 2016

Publications

Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core (Best Student Paper Award)
S. Hahn and J. Reineke
RTSS, 2018. [pdf slides] [bib]

@INPROCEEDINGS{Hahn18,
    author = {Sebastian Hahn and Jan Reineke},
    title = {Design and Analysis of SIC: A Provably Timing-Predictable Pipelined Processor Core},
    booktitle = {RTSS},
    year = {2018},
    month = {December},
}

Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis
D. Shah, S. Hahn, and J. Reineke
WCET, 2018. [bib]

@INPROCEEDINGS{Shah18,
		author = {Darshit Shah and Sebastian Hahn and Jan Reineke},
		title = {Experimental Evaluation of Cache-Related Preemption Delay Aware Timing Analysis},
		booktitle = {18th International Workshop on Worst-Case Execution Time Analysis},
		year = {2018},
		month = {July}
}

Write-back Caches in WCET Analysis
T. Blaß, S. Hahn, and J. Reineke
ECRTS, 2017. [bib]

@INPROCEEDINGS{Blass17,
    author = {Tobias Blass and Sebastian Hahn and Jan Reineke},
    title = {Write-back Caches in WCET Analysis},
    booktitle = {Proceedings of the 29th Euromicro Conference on Real-Time Systems},
    year = {2017},
    month = {June},
}

Enabling Compositionality for Multicore Timing Analysis
S. Hahn, M. Jacobs, and J. Reineke
RTNS, 2016. [doi] [bib]

@INPROCEEDINGS{Hahn16,
    author = {Sebastian Hahn and Michael Jacobs and Jan Reineke},
    title = {Enabling Compositionality for Multicore Timing Analysis},
    booktitle = {Proceedings of the 24th International Conference on Real Time and Networks Systems},
    year = {2016},
    month = {October},
}

WCET Analysis for Multi-core Processors with Shared Buses and Event-driven Bus Arbitration
M. Jacobs, S. Hahn, and S. Hack
RTNS, 2015. [doi] [pdf] [bib]

@inproceedings{Jacobs15,
	author = {Michael Jacobs and 
	          Sebastian Hahn and
	          Sebastian Hack},
  title = {{WCET} Analysis for Multi-core Processors with Shared Buses and Event-driven Bus Arbitration},
  booktitle = {Proceedings of the 23rd International Conference on Real Time Networks and Systems},
  series = {RTNS '15},
  year = {2015},
  isbn = {978-1-4503-3591-1},
  location = {Lille, France},
  pages = {193--202},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2834848.2834872},
  doi = {10.1145/2834848.2834872},
  acmid = {2834872},
  publisher = {ACM},
  address = {New York, NY, USA}
}

Toward Compact Abstractions for Processor Pipelines
S. Hahn, J. Reineke, and R. Wilhelm
Correct System Design, 2015. [doi] [bib]

@inproceedings{Hahn15b,
  author    = {Sebastian Hahn and
               Jan Reineke and
               Reinhard Wilhelm},
  title     = {Toward Compact Abstractions for Processor Pipelines},
  booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
               Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
               September 8-9, 2015. Proceedings},
  editor={Meyer, Roland and Platzer, André and Wehrheim, Heike},
  pages     = {205--220},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-23506-6_14},
  doi       = {10.1007/978-3-319-23506-6_14},
}

Towards Compositionality in Execution Time Analysis - Definition and Challenges
S. Hahn, J. Reineke, and R. Wilhelm
SIGBED Review, Special Issue on CRTS 2013, 12 (1), 2015. [doi] [bib]

@article{Hahn15,
  author    = {Sebastian Hahn and
               Jan Reineke and
               Reinhard Wilhelm},
  title     = {Towards compositionality in execution time analysis: definition and
               challenges},
  journal   = {{SIGBED} Review, Special Issue on Intl. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (2013)},
  volume    = {12},
  number    = {1},
  pages     = {28--36},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2752801.2752805},
  doi       = {10.1145/2752801.2752805}
}

Selfish-LRU: Preemption-Aware Caching for Predictability and Performance
J. Reineke, S. Altmeyer, D. Grund, S. Hahn, C. Maiza
RTAS, 2014. [pdf] [pdf slides] [bib]

@INPROCEEDINGS{Reineke14b,
    author = {Jan Reineke and Sebastian Altmeyer and Daniel Grund and Sebastian Hahn and Claire Maiza},
    title = {Selfish-LRU: Preemption-Aware Caching for Predictability and Performance},
    booktitle = {RTAS},
    year = {2014},
    month = {April},
    url = {http://embedded.cs.uni-saarland.de/publications/SelfishLRU-RTAS-2014.pdf},
}

Towards Compositionality in Execution Time Analysis - Definition and Challenges
S. Hahn, J. Reineke, and R. Wilhelm
CRTS, 2013. [pdf] [bib]

@INPROCEEDINGS{Hahn13,
    author = {Sebastian Hahn and Jan Reineke and Reinhard Wilhelm},
    title = {Towards Compositionality in Execution Time Analysis -- Definition and Challenges},
    booktitle = {CRTS},
    year = {2013},
    month = {December},
    url = "http://embedded.cs.uni-saarland.de/publications/TowardsCompositionality.pdf",
    
}

Impact of Resource Sharing on Performance and Performance Prediction: A Survey
A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn, F. Haupenthal, M. Jacobs, A. H. Moin, J. Reineke, B. Schommer, and R. Wilhelm
CONCUR, 2013. [pdf] [bib]

@INPROCEEDINGS{Abel13b,
    author = {Andreas Abel and Florian Benz and Johannes Doerfert and Barbara Dörr and Sebastian Hahn and Florian Haupenthal and Michael Jacobs and Amir H. Moin and Jan Reineke and Bernhard Schommer and Reinhard Wilhelm},
    title = {Impact of Resource Sharing on Performance and Performance Prediciton: A Survey},
    booktitle = {CONCUR},
    year = {2013},
    month = {August},
    url = "http://embedded.cs.uni-saarland.de/publications/ResourceSharingSurvey.pdf",
    
}

Relational Cache Analysis for Static Timing Analysis
S. Hahn and D. Grund
ECRTS, 2012. [pdf] [slides] [bib]

@INPROCEEDINGS{Hahn12,
   author = {Sebastian Hahn and Daniel Grund},
   title = {Relational Cache Analysis for Static Timing Analysis},
   booktitle = {Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12)},
   year = {2012},
   pages = {102--111},
   month = {July},
   doi = {10.1109/ECRTS.2012.14},
   isbn = {978-1-4673-2032-0},
   issn = {1068-3070},
   location = {Pisa, Italy}
}

A list of publications can also be found on DBLP.

Bachelor's Thesis

Towards Relational Cache Analysis
S. Hahn
Saarland University, 2011. [pdf] [bib]

@mastersthesis{Hahn11,
  author = {Sebastian Hahn},
  title = {Towards Relational Cache Analysis},
  school = {Saarland University},
  year = {2011},
  type = {Bachelor's Thesis}
}

Master's Thesis

Defining Compositionality in Execution Time Analysis
S. Hahn
Saarland University, 2014. [pdf] [bib]

@mastersthesis{Hahn14,
  author = {Sebastian Hahn},
  title = {Defining Compositionalty in Execution Time Analysis},
  school = {Saarland University},
  year = {2014},
  type = {Master's Thesis}
}