4 papers
MLIR-Forge: A Modular Framework for Language Smiths
Berke Ates, Philipp Schaad, Timo Schneider +2
Optimizing compilers are essential for the efficient and correct execution of software across various scientific fields. Domain-specific languages (DSL) typically use higher level…
Inductive Loop Analysis for Practical HPC Application Optimization
Philipp Schaad, Tal Ben-Nun, Patrick Iff +1
Scientific computing applications heavily rely on multi-level loop nests operating on multidimensional arrays. This presents multiple optimization opportunities from exploiting par…
VEIL: Reading Control Flow Graphs Like Code
Philipp Schaad, Tal Ben-Nun, Torsten Hoefler
Control flow graphs (CFGs) are essential tools for understanding program behavior, yet the size of real-world CFGs makes them difficult to interpret. With thousands of nodes and ed…
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications
Lukas Trümper, Philipp Schaad, Berke Ates +3
The same computations are often expressed differently across software projects and programming languages. In particular, how computations involving loops are expressed varies due t…