Extending operational models to perform micro optimizations (presentation)