Execution-Model Alignment