Compiler Design Lab

Eingebettete Systeme

Proseminar

Dozenten

Daniel Kästner, Florian Martin, Sebastian Hack, Christoph Mallon

Themen

Titel Thema
Schwartzbach, Lecture Notes on Static Analysis. Introduction to static analysis (first half)
Interprocedural analysis (second half)
D. Kästner et al., Astrée: Proving the Absence of Runtime Errors. Runtime-error analysis
Susan Horwitz et al., Interprocedural slicing using dependence graphs. Program slicing
Christian Ferdinand et al., Applying Compiler Techniques to Cache Behavior Prediction. Cache analysis
George C. Necula, Translation validation for an optimizing compiler. Translation validation
Grund, Daniel et al., A Template for Predictability Definitions with Supporting Evidence Timing predictibility
Keith Cooper et al., Cross-loop reuse analysis and its application to cache optimizations Cache optimization
N. Audsley et al., Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling Response time
T. P. Baker, Stack-Based Scheduling of Realtime Processes Realtime scheduling

Vortragstermine

Probevorträge
Termin Vortragenden
13.7. 09.30 - 12.00 Felix Kosmalla, Christian Jäckel, Christian Backes
14.7. 12.30 - 15.00 Leander Tentrup, Mykola Havrikov, Joachim Couturier
15.7. 12.30 - 15.00 Johannes Doerfert, Elias Hartz, Alexander Steigner

Vorträge
Termin Vortragenden
28.7. 10.00 - 16.00 Mykola Havrikov, Christian Jäckel, Leander Tentrup, Elias Hartz
26.8. 10.00 - 16.00 Alexander Steigner, Felix Kosmalla, Johannes Doerfert, Joachim Couturier

Organisatorisches

Form Blockseminar
Sprache Deutsch
Freie Plätze 0
Vorbesprechung 9.6.2011 12:00 Gebäude E1.3 Raum 401
Probevorträge 13.7.2011 - 15.7.2011
Vorträge 27.7.2011 - 29.7.2011

Anmeldung an mich per eMail. Alle freien Plätze sind vergeben. Weitere Anmeldungen kommen auf eine Warteliste. Es ist keine weitere Anmeldung mehr möglich, da auch die Warteliste eine gewisse Länge erreicht hat.