1

Provable Determinism for Software in Cyber-Physical Systems
In Cyber-Physical Systems (CPS), concurrently executing software components interact with each other and the physical environment to …
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens
Last updated on Nov 23, 2023
PDF Cite DOI
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning
The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large …
Alexander Brauckmann, Andrés Goens, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Embeddings of Task Mappings to Multicore Systems
The problem of finding good mappings is central to designing and executing applications efficiently in embedded systems. In …
Andrés Goens, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Mocasin -- Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores
Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite
Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach
Robert Wittig, Andrés Goens, Christian Menard, Emil Matus, Gerhard P. Fettweis, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite
ComPy-Learn: A Toolbox for Exploring Machine Learning Representations for Compilers
Alexander Brauckmann, Andrés Goens, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite
Achieving Determinism in Adaptive AUTOSAR
AUTOSAR AP is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide …
Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Generalized Data Placement Strategies for Racetrack Memories
Ultra-dense non-volatile racetrack memories (RTMs) have been investigated at various levels in the memory hierarchy for improved …
Asif Ali Khan, Andrés Goens, Fazal Hameed, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Compiler-Based Graph Representations for Deep Learning Models of Code
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jeronimo Castrillon
Last updated on Sep 24, 2023
Cite DOI URL
Reactors: A Deterministic Model for Composable Reactive Systems
This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring …
Marten Lohstroh, Íñigo Íncer Romero, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, Alberto Sangiovanni-Vincentelli
Last updated on Sep 24, 2023
Cite DOI URL