July 8, 2026 A Performance Model for Warp Specialization Kernels A performance model using differential equations to accurately predict execution time of warp specialization kernels, enabling optimal tile configuration search via Z3 SMT solver kernel-optimization system-optimization gpu-architecture performance-model