In diesem Seminar geht es um die effiziente Programmierung im weiteren Sinne. Dazu gehören sowohl die eigentliche Entwicklung und das Debugging aber auch der Energieverbrauch und die Laufzeit des Programms. Dabei sollen Informationen zu den verschiedenen Themen recherchiert werden und anhand von konkreten Beispielen dargestellt werden. Es können auch die Ergebnisse kleiner vergleichender Untersuchungen zur Auswirkung verschiedener Konstrukte und Methoden gezeigt werden.

Beachten Sie auch unsere allgemeinen organisatorischen Hinweise zu Seminaren.

Das Seminar eignet sich für Studierende der Informatik in den Diplom- und Bachelorstudiengängen. Studierende anderer Studiengänge müssen die Anrechnung mit dem jeweiligen Prüfungsausschuss klären.

Interessierte Zuhörer sind auch herzlich willkommen.

• Prof. Dr. Michael Kuhn (Ansprechpartner)
• Dr. Hermann Lenhart
• Kira Duwe
• Dr. Jannek Squar
• Anna Fuchs

Bei einem allgemeinen Einführungstermin werden Grundlagen vermittelt und die Themen zugewiesen. Nach der Festlegung der Themen soll der Inhalt mit dem jeweiligen Betreuer diskutiert werden.

• 15.10.
  • Einführung und Themenvergabe
• 22.10.
  • Rechnerraumführung
• 29.10. Fällt aus
• 05.11. Fällt aus
• 12.11.
  • LLVM-Infrastruktur ¹⁾ – Jan Witt Präsentation Ausarbeitung
  • Compiler-Optimierungen ²⁾ – Marcel Papenfuss Präsentation Ausarbeitung
• 19.11.
  • Optimierungen zur Compile-/Laufzeit ³⁾ – Mats Schrader Ausarbeitung
  • Typisierung in Programmiersprachen ⁴⁾ – Leo Biegert
• 26.11.
  • DIY: Compilerbau ⁵⁾ – Hauke Stieler Ausarbeitung Sources
  • DawnCC ⁶⁾ – Anton Kollewe Präsentation Ausarbeitung
• 03.12.
  • MPI Datatypes ⁷⁾
  • MPI Topologies ⁸⁾ – Alena Pils Präsentation
• 10.12.
  • Libs für parallele E/A ⁹⁾ – Johannes Coym Präsentation
• 17.12.
  • Non-volatile main memory (NVMM) Speichersysteme ¹⁰⁾ – Simon Oelgeschläger PräsentationAusarbeitung
  • Drone CI ¹¹⁾
• 07.01.
  • Reproduzierbarkeit ¹²⁾
  • KLEE ¹³⁾ – Luca Cielgelski Präsentation Ausarbeitung
• 14.01.
  • Non-functional Tests ¹⁴⁾
  • Integration tests ¹⁵⁾ – Julien Scholz
• 21.01.
  • Testautomatisierung ¹⁶⁾ – Jan Harder
• 28.01.
  • Wormhole - neues Indexkonzept aus Hashtabelle, Präfixbaum und B+-Baum ¹⁷⁾ – Markus Heidrich PräsentationAusarbeitung
  • crash ¹⁸⁾ – Michael Straßberger
  • Zeitkomplexität Registerzuteilung ¹⁹⁾