26 citations · 42 across the 7 of their papers we have counts for
4 papers · 1 filter
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA
Siddharth Bhat, Tobias Grosser
Static Single Assignment (SSA) is the workhorse of modern optimizing compilers for imperative programming languages. However, functional languages have been slow to adopt SSA and p…
Domain-Specific Multi-Level IR Rewriting for GPU
Tobias Gysi, Christoph Müller, Oleksandr Zinenko +6
Traditional compilers operate on a single generic intermediate representation (IR). These IRs are usually low-level and close to machine instructions. As a result, optimizations re…
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Fabian Schuiki, Andreas Kurth, Tobias Grosser +1
Modern Hardware Description Languages (HDLs) such as SystemVerilog or VHDL are, due to their sheer complexity, insufficient to transport designs through modern circuit design flows…
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
Riyadh Baghdadi, Albert Cohen, Serge Guelton +9
We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.