Overview: C and C++ remain the most important languages for fast, low-memory embedded devices. Newer languages like Rust and ...
Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...