Navigation

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

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.

 
URL: http://invasic.informatik.uni-erlangen.de/en/tp_c3_PhIII.php