Informatik-Kolloquien
320. Informatik-Kolloquium
Hochschulöffentliches Informatik-Kolloquium
im Rahmen des Berufungsverfahrens
Vorträge
Donnerstag, 24.02.2022
Die Übertragung erfolgt per Videokonferenzsystem BigBlueButton.
Die Zugangsdaten können vorher im Dekanat ( dekanat@…) erfragt werden.
Herr Dr. Thomas Kühn
Speicheroptimierung bei modernen Compilern
In dieser Veranstaltung werden unterschiedliche Strategien zur Optimierung der Speichernutzung, der vom Compiler erzeugten Programme diskutiert, sodass diese die Speicherhierarchie moderner Prozessorarchitekturen effizient ausnutzen können. Hierzu werden die Konzepte der zeitlichen und räumlichen Datenlokalität eingeführt und ihr Zusammenhang zur effizienten Speichernutzung hervorgehoben. Im Besonderen, werden Verfahren zur Analyse und Optimierung von Array-zugriffen präsentiert und diskutiert. Nach dieser Vorlesung kennen die Studierenden die Probleme moderner Speicherarchitekturen und die Notwendigkeit der Speicheroptimierung. Sie können die Methoden zur Optimierung von Array-zugriffen, wie Schleifenvertauschen (Loop Interchange), Kachelung (Tiling) und Schleifenumkehr (Loop Reversal) erläutern; und diese gezielt anwenden, um die Speichernutzung zu verbessern. Weiterhin kennen Sie das Verfahren der Lokalitätsanalyse (Locality Analysis) und können dieses für eine gegebenes Programm anwenden.
Language Product Line Engineering
The proliferation of Modeling and Programming Languages not only leads to multiple versions of a given language, but also different variants of a language (existing at the same time). This makes the development of compilers and Integrated Development Environments (IDE) a daunting task. Although research on the development of Software Product Lines (SPL) permits managing both versions and variants of a software system by means of reusable artifacts, current language workbenches only provide limited support for the creation and provisioning of reusable artifacts for both the creation of compilers and IDE services, e.g., syntax highlighting, debugging. To remedy this, the research area on Language Product Lines studies means to develop SPLs of both compilers and IDEs by means of reusable language components. In this presentation, I will show case two different approaches for the development of Language Product Lines.Herr Dr. Florian Kurpicz
Speicheroptimierung bei modernen Compilern
Computer enthalten verschiedene Arten von Speichern: den (L1-, L2- und L3-)Cache auf der CPU, den Hauptspeicher und den Festplattenspeicher. Ein wesentlicher Unterschied besteht in den Zugriffszeiten. Der Cache ermöglicht den schnellsten Zugriff, der Festplattenspeicher den langsamsten. Man spricht hierbei auch von der Speicherhierarchie. Speicher mit schnellen Zugriffszeiten ist jedoch teuer und steht daher in geringerer Menge zur Verfügung als Speicher mit weniger schnellen Zugriffszeiten. In der heutigen Vorlesung beschäftigen wir uns mit der Fragestellung, wie Compiler den Speicherzugriff der kompilierten Programme optimieren können, sodass möglichst häufig der schnellste zur Verfügung stehende Speicher verwendet werden kann.
Algorithm Engineering for Compact and Scalable Text Indices
Given a text, a text index provides additional information that helps to speed up queries. Pattern matching is a typical example of such a query. Here, we want to know whether a pattern occurs in the text. Text indices also have other applications, e.g., text compression and document retrieval. An ever-increasing amount of textual data makes the parallel and scalable construction of text indices inevitable. Another vital property of text indices is their memory overhead. Being space-efficient allows us to keep the whole index in fast main memory. In this talk, we give an overview of compact and scalable text indices with a focus on text indices that have good theoretical worst-case running times and memory requirements and are also among the best in practice when considering real-world inputs.Alle interessierten Personen sind herzlich eingeladen!
