10 citations · 35 across the 23 of their papers we have counts for
4 papers · 1 filter
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…
Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
Andrea Lepori, Alexandru Calotoiu, Torsten Hoefler
Pointers are an integral part of C and other programming languages. They enable substantial flexibility from the programmer's standpoint, allowing the user fine, unmediated control…
Bridging Control-Centric and Data-Centric Optimization
Tal Ben-Nun, Berke Ates, Alexandru Calotoiu +1
With the rise of specialized hardware and new programming languages, code optimization has shifted its focus towards promoting data locality. Most production-grade compilers adopt…
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…