15 citations · 15 across the 4 of their papers we have counts for
5 papers
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…
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
Fabian Ritter, Sebastian Hack
Achieving peak performance in a computer system requires optimizations in every layer of the system, be it hardware or software. A detailed understanding of the underlying hardware…
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…
Polly's Polyhedral Scheduling in the Presence of Reductions
Johannes Doerfert, Kevin Streit, Sebastian Hack +1
The polyhedral model provides a powerful mathematical abstraction to enable effective optimization of loop nests with respect to a given optimization goal, e.g., exploiting paralle…
A Linear First-Order Functional Intermediate Language for Verified Compilers
Sigurd Schneider, Gert Smolka, Sebastian Hack
We present the linear first-order intermediate language IL for verified compilers. IL is a functional language with calls to a nondeterministic environment. We give IL terms a seco…