3 citations · 3 across the 8 of their papers we have counts for
8 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…
FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs
Philipp Schaad, Timo Schneider, Tal Ben-Nun +3
The current hardware landscape and application scale is driving performance engineers towards writing bespoke optimizations. Verifying such optimizations, and generating minimal fa…
Performance Embeddings: A Similarity-based Approach to Automatic Performance Optimization
Lukas Trümper, Tal Ben-Nun, Philipp Schaad +2
Performance optimization is an increasingly challenging but often repetitive task. While each platform has its quirks, the underlying code transformations rely on data movement and…
Boosting Performance Optimization with Interactive Data Movement Visualization
Philipp Schaad, Tal Ben-Nun, Torsten Hoefler
Optimizing application performance in today's hardware architecture landscape is an important, but increasingly complex task, often requiring detailed performance analyses. In part…
Lifting C Semantics for Dataflow Optimization
Alexandru Calotoiu, Tal Ben-Nun, Grzegorz Kwasniewski +4
C is the lingua franca of programming and almost any device can be programmed using C. However, programming mod-ern heterogeneous architectures such as multi-core CPUs and GPUs req…