Ensuring code safety without runtime checks for real-time control systems.

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve

Browse the full CASES paper archive.