Übersetzung und Code-Erzeugung für invasive Programme (C03)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2010 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 146371743

Erforscht werden Compiler-Verfahren für invasive Architekturen, insbesondere um das Erzwingen von nichtfunktionalen Programmausführungsaspekten zu erleichtern. Themen umfassen (a) Übersetzungsmethoden, um Schleifen mit konstanter Latenz zu erzeugen, (b) approximative Schleifenverarbeitung inklusive der einhergehenden Fehleranalyse, (c) symbolische Codeerzeugung für TCPAs, (d) Ansätze zur automatischen Programm-Invasifikation, (e) auf invasive Architekturen zugeschnittene Optimierungen und (f) Informationsflusskontrolle für invasive Anwendungen.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 89: Invasives Rechnen
• Antragstellende Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg
• Teilprojektleiter: Professor Dr.-Ing. Gregor Snelting; Professor Dr.-Ing. Jürgen Teich