Fkcc: The Farkas Calculator

von Alias, Christophe
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Lightweight Array Contraction by Trace-Based Polyhedral Analysis

von Thievenaz, Hugo
Veröffentlicht in ISC High Performance (37. : 2022 : Hamburg) High performance computing (2022)