2

Guided Equality Saturation
Rewriting is a principled term transformation technique with uses across theorem proving and compilation. In theorem proving, each …
Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
Last updated on Nov 23, 2023
PDF Cite DOI URL
Compound Memory Models
Todaytextquoterights mobile, desktop, and server processors are heterogeneous, consisting not only of CPUs but also GPUs and other …
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
Last updated on Sep 24, 2023
Cite DOI URL
Domain-specific hybrid mapping for energy-efficient baseband processing in wireless networks
Advancing telecommunication standards continuously push for larger bandwidths, lower latencies, and faster data rates. The receiver …
Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
mpsym: Improving Design-Space Exploration of Clustered Manycores with Arbitrary Topologies
Andrés Goens, Timo Nicolai, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Category-Theoretic Foundations of ``STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism''
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite arXiv URL
A Hardware/Software Stack for Heterogeneous Systems
Plenty of novel emerging technologies are being proposed and evaluated today, mostly at the device and circuit levels. It is unclear …
Jeronimo Castrillon, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
Last updated on Sep 24, 2023
Cite DOI URL
Symmetry in Software Synthesis
With the surge of multi- and manycores, much research has focused on algorithms for mapping and scheduling on these complex platforms. …
Andrés Goens, Sergio Siccha, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
An Optimal Allocation of Memory Buffers for Complex Multicore Platforms
In deeply embedded heterogeneous multicores the allocation of data to memories is crucial for application performance. For applications …
Andrés Goens, Jeronimo Castrillon, Maximilian Odendahland Rainer Leupers
Last updated on Sep 24, 2023
Cite DOI