Compilation and Code Generation for Invasive Programs (C03)

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.