Batching with End-to-End Performance Estimation. - Avidan Borisov; Nadav Amit; Dan Tsafrir (HotOS, 2025)