Navigation

Daniel Grund

Contact

Tel	+49 (681) 302 5571
Fax	+49 (681) 302 3065
Email
Location	Building E1 3, Room 402
Address	Universität des Saarlandes Campus E1 3 D-66123 Saarbrücken

Short CV

2011	Dr.-Ing. PhD thesis: Static Cache Analysis for Real-Time Systems — LRU, FIFO, PLRU
2008–2011	Member of research staff at Saarland University in the group of Reinhard Wilhelm and member of the Graduate School of Computer Science. My working areas are real-time and embedded systems, static timing analysis and timing predictability, especially the analysis of caches.
2006–2008	Research scholarship holder at Saarland University. Post graduate programme Performance Guarantees for Computing Systems, financed by the German Research Foundation (DFG).
2005	Dipl.-Inform. Diploma thesis: Copy Coalescing in SSA-based Register Allocation at IPD Goos.
2000–2005	Student of computer science at University Karlsruhe. Emphasis on information systems and compiler construction.

Projects

Ongoing projects:

AVACS: Automatic Verification And Analysis of Complex Systems

Past projects:

Teaching

Lecture: Compiler Construction (Winter 2011)
Advisor: Bachelor thesis Toward Relational Cache Analysis by Sebastian Hahn (2011)
Seminar: Embedded Systems Seminar (Winter 2009)
Lecture: System Architecture (Summer 2009)

Publications

Listings from: DBLP, Google Schoolar, CiteSeer.

Journal Papers

Branch Target Buffers: WCET Analysis Framework and Timing Predictability
D. Grund, J. Reineke, and G. Gebhard
Journal of Systems Architecture, 57 (6), 2011. [doi] [pdf] [bib]

@ARTICLE{Grund10b,
   author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
   title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
   journal = {Journal of Systems Architecture},
   year = {2011},
   volume = {57},
   pages = {625--637},
   number = {6},
   doi = {10.1016/j.sysarc.2010.05.013},
   issn = {1383-7621},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/jsa10-BTBs.pdf}
 }

Predictability Considerations in the Design of Multi-Core Embedded Systems
C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
Ingénieurs de l'Automobile, 807, 2010. [bib]

@ARTICLE{Cullmann10a,
   author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Simon Wegener and Reinhard Wilhelm},
   title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
   journal = {Ing\'enieurs de l'Automobile},
   year = {2010},
   volume = {807},
   pages = {36--42},
   month = {September},
   issn = {0020-1200}
 }

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. [doi] [bib]

@ARTICLE{Wilhelm09,
   author = {Reinhard Wilhelm and Daniel Grund and Jan Reineke and Marc Schlickling and Markus Pister and Christian Ferdinand},
   title = {Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems},
   journal = {IEEE Transactions on {CAD} of Integrated Circuits and Systems},
   year = {2009},
   volume = {28},
   pages = {966--978},
   number = {7},
   month = {July},
   doi = {10.1109/TCAD.2009.2013287}
 }

Timing Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Real-Time Systems, 37 (2), 2007. [doi] [pdf] [slides] [bib]

@ARTICLE{Reineke07,
   author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
   title = {Timing Predictability of Cache Replacement Policies},
   journal = {Real-Time Systems},
   year = {2007},
   volume = {37},
   pages = {99--122},
   number = {2},
   month = {November},
   doi = {10.1007/s11241-007-9032-3},
   slides = {http://rw4.cs.uni-saarland.de/~reineke/talks/predictabilityCacheReplacement.ppt},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/rts07-predictability.pdf}
 }

Conference Papers

A Template for Predictability Definitions with Supporting Evidence
D. Grund, J. Reineke, and R. Wilhelm
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi] [url] [slides] [bib]

@INPROCEEDINGS{Grund11,
   author = {Daniel Grund and Jan Reineke and Reinhard Wilhelm},
   title = {A Template for Predictability Definitions with Supporting Evidence},
   booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
   year = {2011},
   editor = {Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm},
   volume = {18},
   series = {OpenAccess Series in Informatics (OASIcs)},
   pages = {22--31},
   address = {Dagstuhl, Germany},
   publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   doi = {10.4230/OASIcs.PPES.2011.22},
   isbn = {978-3-939897-28-6},
   issn = {2190-6807},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/ppes11-predictability_template.pdf},
   url = {http://drops.dagstuhl.de/opus/volltexte/2011/3078},
   urn = {urn:nbn:de:0030-drops-30785}
 }

Static Timing Analysis for Hard Real-Time Systems
R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
VMCAI, 2010. [doi] [bib]

@INPROCEEDINGS{Wilhelm10,
   author = {Reinhard Wilhelm and Sebastian Altmeyer and Claire Burgui\`ere and Daniel Grund and J\"org Herter and Jan Reineke and Bj\"orn Wachter and Stephan Wilhelm},
   title = {Static Timing Analysis for Hard Real-Time Systems},
   booktitle = {VMCAI},
   year = {2010},
   pages = {3--22},
   publisher = {Springer Verlag},
   doi = {10.1007/978-3-642-11319-2_3}
 }

Predictability Considerations in the Design of Multi-Core Embedded Systems
C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
Proceedings of Embedded Real Time Software and Systems, 2010. [pdf] [bib]

@INPROCEEDINGS{Cullmann10,
   author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Reinhard Wilhelm},
   title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
   booktitle = {Proceedings of Embedded Real Time Software and Systems},
   year = {2010},
   pages = {36--42},
   month = {May},
   url = {http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0049_final.pdf}
 }

Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
D. Grund, and J. Reineke
Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10), 2010. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund10,
   author = {Daniel Grund and Jan Reineke},
   title = {Precise and Efficient {FIFO}-Replacement Analysis Based on Static Phase Detection},
   booktitle = {Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10)},
   year = {2010},
   pages = {155--164},
   month = {July},
   doi = {10.1109/ECRTS.2010.8},
   isbn = {978-1-4244-7546-9},
   issn = {1068-3070},
   location = {Brussels, Belgium},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/ecrts10-fifo.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/ecrts10-fifo_phases.pdf}
 }

Toward Precise PLRU Cache Analysis
D. Grund, and J. Reineke
Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund10a,
   author = {Daniel Grund and Jan Reineke},
   title = {Toward Precise {PLRU} Cache Analysis},
   booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
   year = {2010},
   editor = {Bj\"orn Lisper},
   pages = {28--39},
   month = {July},
   publisher = {Austrian Computer Society},
   pdf = {http://drops.dagstuhl.de/opus/volltexte/2010/2822/pdf/4.pdf},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/wcet10-plru.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/wcet10-plru.pdf}
 }

Abstract Interpretation of FIFO Replacement
D. Grund, and J. Reineke
Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund09,
   author = {Daniel Grund and Jan Reineke},
   title = {Abstract Interpretation of {FIFO} Replacement},
   booktitle = {Static Analysis, 16th International Symposium, SAS 2009},
   year = {2009},
   editor = {Jens Palsberg and Zhendong Su},
   volume = {5673},
   series = {LNCS},
   pages = {120--136},
   month = {August},
   publisher = {Springer},
   doi = {10.1007/978-3-642-03237-0},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/sas09-fifo.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/sas09-AI_FIFO.pdf}
 }

Branch Target Buffers: WCET Analysis Framework and Timing Predictability
D. Grund, J. Reineke, and G. Gebhard
15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund09a,
   author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
   title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
   booktitle = {15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009},
   year = {2009},
   month = {August},
   doi = {10.1109/RTCSA.2009.8},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/rtcsa09-btb.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/rtcsa09-BTBs.pdf}
 }

Designing Predictable Multicore Architectures for Avionics and Automotive Systems
R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
Workshop on Reconciling Performance with Predictability (RePP), 2009. [pdf] [bib]

@INPROCEEDINGS{Wilhelm09b,
   author = {Reinhard Wilhelm and Christian Ferdinand and Christoph Cullmann and Daniel Grund and Jan Reineke and Beno\^it Triquet},
   title = {Designing Predictable Multicore Architectures for Avionics and Automotive Systems},
   booktitle = {Workshop on Reconciling Performance with Predictability ({RePP})},
   year = {2009},
   month = {October},
   url = {http://www.tik.ee.ethz.ch/~jchen/RePP/papers/2-3.pdf}
 }

Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008. [doi] [pdf] [bib]

@INPROCEEDINGS{Boissinot08,
   author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
   title = {Fast Liveness Checking for {SSA}-Form Programs},
   booktitle = {CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization},
   year = {2008},
   pages = {35--44},
   address = {New York, NY, USA},
   month = {April},
   publisher = {ACM},
   award = {Best Paper Award},
   doi = {10.1145/1356058.1356064},
   isbn = {978-1-59593-978-4},
   location = {Boston, MA, USA},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/cgo08-liveness.pdf}
 }

Estimating the Performance of Cache Replacement Policies
D. Grund, and J. Reineke
MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2008. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund08,
   author = {Daniel Grund and Jan Reineke},
   title = {Estimating the Performance of Cache Replacement Policies},
   booktitle = {MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign},
   year = {2008},
   pages = {101--111},
   month = {June},
   doi = {10.1109/MEMCOD.2008.4547695},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/memocode08-policy_performance.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/memocode08-policy_performance.pdf}
 }

Relative Competitiveness of Cache Replacement Policies
J. Reineke, and D. Grund
SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2008. [doi] [pdf] [bib]

@INPROCEEDINGS{Reineke08b,
   author = {Jan Reineke and Daniel Grund},
   title = {Relative Competitiveness of Cache Replacement Policies},
   booktitle = {SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems},
   year = {2008},
   pages = {431--432},
   address = {New York, NY, USA},
   month = {June},
   publisher = {ACM},
   doi = {10.1145/1375457.1375506},
   isbn = {978-1-60558-005-0},
   location = {Annapolis, MD, USA},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/sigmetrics08-rel_comp.pdf}
 }

Relative Competitive Analysis of Cache Replacement Policies
J. Reineke, and D. Grund
LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, 2008. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Reineke08c,
   author = {Jan Reineke and Daniel Grund},
   title = {Relative Competitive Analysis of Cache Replacement Policies},
   booktitle = {LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems},
   year = {2008},
   pages = {51--60},
   address = {New York, NY, USA},
   month = {June},
   publisher = {ACM},
   doi = {10.1145/1375657.1375665},
   isbn = {978-1-60558-104-0},
   location = {Tucson, AZ, USA},
   slides = {http://rw4.cs.uni-saarland.de/~reineke/talks/relativeCompetitiveAnalysisLCTES08.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/lctes08-rel_comp.pdf}
 }

A Fast Cutting-Plane Algorithm for Optimal Coalescing (EAPLS Best Paper Award)
D. Grund, and S. Hack
Compiler Construction - CC 2007, 2007. [doi] [pdf] [slides] [bib]

@INPROCEEDINGS{Grund07,
   author = {Daniel Grund and Sebastian Hack},
   title = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
   booktitle = {Compiler Construction - CC 2007},
   year = {2007},
   editor = {Shriram Krishnamurthi and Martin Odersky},
   volume = {4420},
   series = {Lecture Notes In Computer Science},
   pages = {111--125},
   month = {March},
   publisher = {Springer Verlag},
   note = {Braga, Portugal},
   award = {EAPLS Best Paper Award},
   doi = {10.1007/978-3-540-71229-9_8},
   slides = {http://rw4.cs.uni-saarland.de/~grund/talks/cc07-opt_coalescing-talk.pdf},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/cc07-opt_coalescing.pdf}
 }

GrGen: A Fast SPO-Based Graph Rewriting Tool
R. Geiß, V. Batz, D. Grund, S. Hack, and A. M. Szalkowski
Graph Transformations - ICGT 2006, 2006. [doi] [pdf] [bib]

@INPROCEEDINGS{Geiss06,
   author = {Rubino Gei{\ss} and Veit Batz and Daniel Grund and Sebastian Hack and Adam M. Szalkowski},
   title = {{GrGen}: A Fast {SPO}-Based Graph Rewriting Tool},
   booktitle = {Graph Transformations - ICGT 2006},
   year = {2006},
   editor = {A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg},
   volume = {4178},
   series = {LNCS},
   month = {September},
   publisher = {Springer Verlag},
   note = {Natal, Brasilia},
   doi = {10.1007/11841883_27},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/icgt06-grgen.pdf}
 }

Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Compiler Construction - CC 2006, 2006. [doi] [pdf] [bib]

@INPROCEEDINGS{Hack06a,
   author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
   title = {Register Allocation for Programs in {SSA} Form},
   booktitle = {Compiler Construction - CC 2006},
   year = {2006},
   editor = {Andreas Zeller and Alan Mycroft},
   volume = {3923},
   series = {Lecture Notes In Computer Science},
   month = {March},
   publisher = {Springer Verlag},
   note = {Vienna, Austria},
   doi = {10.1007/11688839_20},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/cc06-ra_ssa.pdf}
 }

PhD Theses

Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
D. Grund
Saarland University, 2012. [url] [bib]

@PHDTHESIS{Grund12,
   author = {Daniel Grund},
   title = {Static Cache Analysis for Real-Time Systems -- {LRU}, {FIFO}, {PLRU}},
   school = {Saarland University},
   year = {2012},
   isbn = {978-3-8442-1699-8},
   publisher = {ePubli GmbH},
   url = {https://www.epubli.de/shop/buch/Static-Cache-Analysis-for-Real-Time-Systems-Daniel-Grund-9783844216998/13092}
 }

MSc Theses

Kopienminimierung in einem SSA-basierten Registerzuteiler
D. Grund
Universität Karlsruhe, 2005. [pdf] [bib]

@MASTERSTHESIS{Grund05,
   author = {Daniel Grund},
   title = {{K}opienminimierung in einem {SSA}-basierten {R}egisterzuteiler},
   school = {Universit\"at Karlsruhe},
   year = {2005},
   month = {August},
   institution = {IPD Goos},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/da05_grund.pdf}
 }

Technical Reports

Sensitivity of Cache Replacement Policies
J. Reineke, and D. Grund
Technical Report, SFB/TR 14 AVACS, 2008. [pdf] [bib]

@TECHREPORT{Reineke08a,
   author = {Jan Reineke and Daniel Grund},
   title = {Sensitivity of Cache Replacement Policies},
   institution = {SFB/TR 14 AVACS},
   year = {2008},
   type = {Reports of SFB/TR 14 AVACS},
   number = {36},
   month = {March},
   note = {ISSN: 1860-9821, http://www.avacs.org},
   access = {open},
   bibtex = {atr036.bib},
   editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
   series = {ATR},
   subproject = {R2},
   url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_036.pdf}
 }

Fast Liveness Checking for SSA-Form Programs
B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
Technical Report, INRIA, 2007. [url] [bib]

@TECHREPORT{Boissinot07,
   author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno\^it Dupont-De-Dinechin and Fabrice Rastello},
   title = {Fast Liveness Checking for {SSA}-Form Programs},
   institution = {INRIA},
   year = {2007},
   number = {RR-2007-45},
   month = {November},
   url = {http://hal.inria.fr/inria-00192219/en/}
 }

Predictability of Cache Replacement Policies
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Technical Report, SFB/TR 14 AVACS, 2006. [pdf] [bib]

@TECHREPORT{Reineke06a,
   author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
   title = {Predictability of Cache Replacement Policies},
   institution = {SFB/TR 14 AVACS},
   year = {2006},
   type = {Reports of SFB/TR 14 AVACS},
   number = {9},
   month = {September},
   note = {ISSN: 1860-9821, http://www.avacs.org},
   access = {open},
   bibtex = {atr009.bib},
   editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
   series = {ATR},
   subproject = {R2},
   url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_009.pdf}
 }

Towards Register Allocation for Programs in SSA Form
S. Hack, D. Grund, and G. Goos
Technical Report, University of Karlsruhe, 2005. [pdf] [bib]

@TECHREPORT{Hack05a,
   author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
   title = {Towards Register Allocation for Programs in {SSA} Form},
   institution = {University of Karlsruhe},
   year = {2005},
   month = {September},
   organization = {Universit\"at Karlsruhe},
   url = {http://rw4.cs.uni-saarland.de/~grund/papers/tr05_ra_ssa.pdf}
 }

Other

Negative Anwendungsbedingungen für den Graphersetzer GrGen
D. Grund
[bib]

@MISC{Grund04,
   author = {Daniel Grund},
   title = {{N}egative {A}nwendungsbedingungen f\"ur den {G}raphersetzer {GrGen}},
   howpublished = {Studienarbeit},
   year = {2004},
   institution = {IPD Goos},
   school = {Universit\"at Karlsruhe}
 }

Miscellaneous

This section simply lists unpublished materials grouped by topic. Corresponding papers and slides are linked to in the above publication list.

Timing predictability for real-time systems:

Talk at RePP 09, Grenoble, France, October 2009:
Towards a Formal Definition of Timing Predictability

Caches in real-time systems:

Poster on Caches in WCET Analysis
EDAA PhD Forum, Nice, France, April 2009
Poster on Relative Competitiveness of Cache Replacement Strategies
LCTES 08, Tucson, USA, June 2008
Poster on Timing Predictability of Cache Replacement Strategies, September 2007
Estimating the Performance of Cache Replacement Policies
Unpublished technical report, April 2008

SSA-based register allocation:

Talk at Dagstuhl "zehn plus eins", Dagstuhl, Germany, June 2007:
Register Allocation for SSA-Form Programs
The Optimal Coalescing Challenge by Andrew Appel and Lal George.
Notes on Optimal Coalescing, January 2007.
Poster on Optimal Coalescing, September 2006.

Compiler Design Lab