Principles and Methodologies for Serial Performance Optimization (OSDI' 25) - View it on GitHub