|
|
|
Kontakt Tel.: +49 721 608-44684 Email: >>Bitte hier klicken<< |
IPD Prof. Snelting Raum 031, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland |
Arbeitsgebiete
Lehre
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2018
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2018
- Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2017
- Praktikum: Programmanalyse zum Durchklicken , Sommersemester 2017
- Praktikum: Automatische Teameinteilung für PSE , Wintersemester 2016/2017
- Praktikum: Automatische Teameinteilung für PSE , Wintersemester 2016/2017
Veröffentlichungen
2018
-
Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Proceedings of 2018 IEEE/ACM International Symposium on Code Generation and Optimization 2018 (CGO '18) : S. Buchwald, A. Fried, S. Hack
2016
-
Synthesizing Instruction Selection
August 2016 : A. Fried
Betreute Studien- und Abschlussarbeiten
offen
- Erweiterung eines SSA-Konstruktionsalgorithmus um Repräsentation von Speicherstellen, Bachelorarbeit
- Compiler-Unterstützung für Scratchpad-Speicher, Masterarbeit
- Survey Programmsynthese, Bachelorarbeit
- Befehlsanordnung auf expliziten Abhängigkeitsgraphen, Masterarbeit
- Load-Store-Optimierung mit Speicherpartitionierung, Bachelor-/Masterarbeit
- Information-Flow-Control für X10, Masterarbeit
- Entwicklung libFirm-Compiler, HiWi-Job
laufend
- Odyssee, HiWi-Job
- Devirtualisierung in libFirm, Bachelorarbeit
abgeschlossen
- Funktionales Firm, Bachelorarbeit
- Registerallokation mit Doppelregistern, Bachelorarbeit
- Effiziente Befehlsauswahl mit vielen Mustern, Masterarbeit
- Identifikation wiederkehrender Programmstrukturen, Bachelorarbeit
Bearbeitete Studien- und Abschlussarbeiten
- Synthetisierte Befehlsauswahl (abgeschlossen), Masterarbeit