Andrés Goens

37 papers A* 2A 2B 5C 4Journal 14Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation.
Proc. ACM Program. Lang.
Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens
2025 J jnl
Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology.
IEEE Comput. Archit. Lett.
Sanya Srivastava, Fletch Rydell, Andrés Goens, Vijay Nagarajan, Daniel J. Sorin
2025 J jnl
Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs.
Proc. ACM Program. Lang.
Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer
2025 J jnl
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
CoRR
Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng
2024 J jnl
Bridging Syntax and Semantics of Lean Expressions in E-Graphs.
CoRR
Marcus Rossel, Andrés Goens
2024 A* conf
Determining the Minimum Number of Virtual Networks for Different Coherence Protocols.
ISCA
Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin
2024 J jnl
Guided Equality Saturation.
Proc. ACM Program. Lang.
Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
2024 B conf
PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model.
PACT
An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan
2024 C conf
Transforming Optimization Problems into Disciplined Convex Programming Form.
CICM
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
2024 J jnl
Verifying Peephole Rewriting In SSA Compiler IRs.
CoRR
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2024 B conf
Verifying Peephole Rewriting in SSA Compiler IRs.
ITP
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2023 J jnl
Compound Memory Models.
Proc. ACM Program. Lang.
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
2023 — conf
Provable Determinism for Software in Cyber-Physical Systems.
VSTTE
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
2021 J jnl
A Reinforcement Learning Environment for Polyhedral Optimizations.
CoRR
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2021 J jnl
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks.
ACM Trans. Embed. Comput. Syst.
Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jerónimo Castrillón
2021 — conf
Embeddings of Task Mappings to Multicore Systems.
SAMOS
Andrés Goens, Jerónimo Castrillón
2021 — conf
Mocasin - Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores.
DroneSE/RAPIDO@HiPEAC
Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jerónimo Castrillón
2021 B conf
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning.
PACT
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2020 A conf
Achieving Determinism in Adaptive AUTOSAR.
DATE
Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón
2020 C conf
ComPy-Learn: A toolbox for exploring machine learning representations for compilers.
FDL
Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón
2020 B conf
Compiler-based graph representations for deep learning models of code.
CC
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón
2020 A conf
Generalized Data Placement Strategies for Racetrack Memories.
DATE
Asif Ali Khan, Andrés Goens, Fazal Hameed, Jerónimo Castrillón
2020 — conf
Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach.
ICT
Robert Wittig, Andrés Goens, Christian Menard, Emil Matús, Gerhard P. Fettweis, Jerónimo Castrillón
2019 — conf
A case study on machine learning for synthesizing benchmarks.
MAPL@PLDI
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón
2019 A* conf
Actors Revisited for Time-Critical Systems.
DAC
Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee
2019 J jnl
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism".
CoRR
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
2019 — conf
On Compact Mappings for Multicore Systems.
SAMOS
Andrés Goens, Christian Menard, Jerónimo Castrillón
2019 — conf
Reactors: A Deterministic Model for Composable Reactive Systems.
CyPhy/WESE
Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2019 — conf
STCLang: state thread composition as a foundation for monadic dataflow parallelism.
Haskell@ICFP
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
2018 J jnl
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi Scale Comput. Syst.
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
2018 B conf
Compiling for concise code and efficient I/O.
CC
Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón
2018 — conf
Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap.
PARMA-DITAM@HiPEAC
Robert Khasanov, Andrés Goens, Jerónimo Castrillón
2017 C conf
Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering.
SCOPES
Gerald Hempel, Andrés Goens, Jerónimo Castrillón, Josefine Asmus, Ivo F. Sbalzarini
2017 J jnl
Symmetry in Software Synthesis.
CoRR
Andrés Goens, Sergio Siccha, Jerónimo Castrillón
2017 J jnl
Symmetry in Software Synthesis.
ACM Trans. Archit. Code Optim.
Andrés Goens, Sergio Siccha, Jerónimo Castrillón
2017 C conf
TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings.
SCOPES
Andrés Goens, Robert Khasanov, Jerónimo Castrillón, Marcus Hähnel, Till Smejkal, Hermann Härtig
2015 — conf
Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs.
IESS
Andrés Goens, Jerónimo Castrillón