3 papers
cs.LG2021
A Reinforcement Learning Environment for Polyhedral Optimizations
Alexander Brauckmann, Andrés Goens, Jeronimo Castrillon
The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding profitable points in thi…
cs.DC2019
Achieving Determinism in Adaptive AUTOSAR
Christian Menard, Andres Goens, Marten Lohstroh +1
AUTOSAR Adaptive Platform is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide adequate mechanisms to enforce det…
cs.PL2019
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Sebastian Ertel, Justus Adam, Norman A. Rink +2
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalizati…