30 citations · 54 across the 8 of their papers we have counts for
8 papers
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…
Preparing Reproducible Scientific Artifacts using Docker
Michael Canesche, Roland Leissa, Fernando Magno Quintão Pereira
The pursuit of scientific knowledge strongly depends on the ability to reproduce and validate research results. It is a well-known fact that the scientific community faces challeng…
AnySeq/GPU: A Novel Approach for Faster Sequence Alignment on GPUs
André Müller, Bertil Schmidt, Richard Membarth +2
In recent years, the rapidly increasing number of reads produced by next-generation sequencing (NGS) technologies has driven the demand for efficient implementations of sequence al…
FLOWER: A comprehensive dataflow compiler for high-level synthesis
Puya Amiri, Arsène Pérard-Gayot, Richard Membarth +3
FPGAs have found their way into data centers as accelerator cards, making reconfigurable computing more accessible for high-performance applications. At the same time, new high-lev…
tinyMD: A Portable and Scalable Implementation for Pairwise Interactions Simulations
Rafael Ravedutti L. Machado, Jonas Schmitt, Sebastian Eibl +6
This paper investigates the suitability of the AnyDSL partial evaluation framework to implement tinyMD: an efficient, scalable, and portable simulation of pairwise interactions amo…
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation
André Müller, Bertil Schmidt, Andreas Hildebrandt +4
Sequence alignments are fundamental to bioinformatics which has resulted in a variety of optimized implementations. Unfortunately, the vast majority of them are hand-tuned and spec…
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…