Static Performance Guarantees Through Storage Modes and Multi-Stage Programming