Compilation and Code Generation for Invasive Programs (C03) (TRR 89)

Third Party Funds Group - Sub project


Acronym: TRR 89

Start date : 01.07.2010

End date : 31.12.2022

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

Overall project details

Overall project

DFG SFB/Transregio 89 "Invasive Computing" (TRR 89) July 1, 2010 - Dec. 31, 2022

Overall project speaker:

Prof. Dr.-Ing. Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Project details

Short description

Conducted is research on compiler techniques for invasive architectures focusing on facilitating the enforcement of non-functional aspects of program execution. Research topics include (a) compilation methods to generate constant-latency loops, (b) approximate loop processing, including formal error analysis, (c) symbolic code generation for TCPAs, (d) approaches for automatic program invasification, (e) optimisations tailored to invasive architectures, and (f) information flow control for invasive applications.

Scientific Abstract

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.

Involved:

Jürgen Teich Project Leader Frank Hannig Project Member Michael Witterauf Project Member Alexandru-Petru Tanase Project Member

Contributing FAU Organisations:

Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Sonderforschungsbereich/Transregio 89 Invasives Rechnen

Funding Source

DFG / Sonderforschungsbereich / Transregio (SFB / TRR) Deutsche Forschungsgemeinschaft (DFG)