Andres Goens

According to our database, Andres Goens authored at least 39 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Guided Equality Saturation.

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

Bridging Syntax and Semantics of Lean Expressions in E-Graphs.

Marcus Rossel, Andrés Goens

CoRR, 2024

Transforming Optimization Problems into Disciplined Convex Programming Form.

Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Verifying Peephole Rewriting in SSA Compiler IRs.

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Determining the Minimum Number of Virtual Networks for Different Coherence Protocols.

Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin

Proceedings of the 51st ACM/IEEE Annual International Symposium on Computer Architecture, 2024

PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model.

An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan

Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques, 2024

2023

Compound Memory Models.

Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan

Proc. ACM Program. Lang., 2023

Provable Determinism for Software in Cyber-Physical Systems.

Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

2022

mpsym: Improving Design-Space Exploration of Clustered Manycores With Arbitrary Topologies.

Andres Goens, Timo Nicolai, Jerónimo Castrillón

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021

Improving Model-Based Software Synthesis: A Focus on Mathematical Structures.

Andres Wilhelm Goens Jokisch

PhD thesis, 2021

Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks.

Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jerónimo Castrillón

ACM Trans. Embed. Comput. Syst., 2021

A Reinforcement Learning Environment for Polyhedral Optimizations.

Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón

CoRR, 2021

Embeddings of Task Mappings to Multicore Systems.

Andrés Goens, Jerónimo Castrillón

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

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, Jerónimo Castrillón

Proceedings of the DroneSE and RAPIDO '21: Methods and Tools, 2021

PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning.

Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021

2020

Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach.

Robert Wittig, Andrés Goens, Christian Menard, Emil Matús, Gerhard P. Fettweis, Jerónimo Castrillón

Proceedings of the 27th International Conference on Telecommunications, 2020

ComPy-Learn: A toolbox for exploring machine learning representations for compilers.

Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón

Proceedings of the Forum for Specification and Design Languages, 2020

Achieving Determinism in Adaptive AUTOSAR.

Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Generalized Data Placement Strategies for Racetrack Memories.

Asif Ali Khan, Andrés Goens, Fazal Hameed, Jerónimo Castrillón

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Compiler-based graph representations for deep learning models of code.

Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

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, Jerónimo Castrillón

CoRR, 2019

On Compact Mappings for Multicore Systems.

Andrés Goens, Christian Menard, Jerónimo Castrillón

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

A case study on machine learning for synthesizing benchmarks.

Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

STCLang: state thread composition as a foundation for monadic dataflow parallelism.

Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Actors Revisited for Time-Critical Systems.

Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Reactors: A Deterministic Model for Composable Reactive Systems.

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

A Hardware/Software Stack for Heterogeneous Systems.

Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. 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 E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich

IEEE Trans. Multi Scale Comput. Syst., 2018

On the Representation of Mappings to Multicores.

Andres Goens, Christian Menard, Jerónimo Castrillón

Proceedings of the 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018

Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap.

Robert Khasanov, Andrés Goens, Jerónimo Castrillón

Proceedings of the 9th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2018

Compiling for concise code and efficient I/O.

Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Symmetry in Software Synthesis.

Andrés Goens, Sergio Siccha, Jerónimo Castrillón

ACM Trans. Archit. Code Optim., 2017

Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering.

Gerald Hempel, Andrés Goens, Jerónimo Castrillón, Josefine Asmus, Ivo F. Sbalzarini

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings.

Andrés Goens, Robert Khasanov, Jerónimo Castrillón, Marcus Hähnel, Till Smejkal, Hermann Härtig

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

2016

An optimal allocation of memory buffers for complex multicore platforms.

Andres Goens, Jerónimo Castrillón, Maximilian Odendahl, Rainer Leupers

J. Syst. Archit., 2016

High-level NoC model for MPSoC compilers.

Christian Menard, Andres Goens, Jerónimo Castrillón

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2016

Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study.

Andres Goens, Robert Khasanov, Jerónimo Castrillón, Simon Polstra, Andy D. Pimentel

Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

2015

Buffer Allocation Based On-Chip Memory Optimization for Many-Core Platforms.

Maximilian Odendahl, Andres Goens, Rainer Leupers, Gerd Ascheid, Tomas Henriksson

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs.

Andrés Goens, Jerónimo Castrillón

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

2014

Optimized buffer allocation in multicore platforms.

Maximilian Odendahl, Andres Goens, Rainer Leupers, Gerd Ascheid, Benjamin Ries, Berthold Vöcking, Tomas Henriksson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014