Symbolic Polyhedral-Based Energy Analysis for Nested Loop Programs. - Avinash Mahesh Nirmala; Dominik Walter; Frank Hannig; Jürgen Teich (CoRR, 2026)