Project Details
Projekt
Compilation and Code Generation for Invasive Programs (C03)
Subject Area
Software Engineering and Programming Languages
Term
from 2010 to 2022
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 146371743
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.
DFG Programme
CRC/Transregios
Subproject of
TRR 89:
Invasive Computing
Applicant Institution
Friedrich-Alexander-Universität Erlangen-Nürnberg
