14 citations · 22 across the 6 of their papers we have counts for
3 papers · 1 filter
SSA without Dominance for Higher-Order Programs
Roland Leißa, Johannes Griebler
Dominance is a fundamental concept in compilers based on static single assignment (SSA) form. It underpins a wide range of analyses and transformations and defines a core property…
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
Roland Leißa, Marcel Ulrich, Joachim Meyer +1
Traditional compilers, designed for optimizing low-level code, fall short when dealing with modern, computation-heavy applications like image processing, machine learning, or numer…
AnyHLS: High-Level Synthesis with Partial Evaluation
M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth +5
FPGAs excel in low power and high throughput computations, but they are challenging to program. Traditionally, developers rely on hardware description languages like Verilog or VHD…