PRS Group @ TU Darmstadt - Andrés Goens
Andrés Goens

Andrés Goens

Andrés Goens is Assistant Professor (W2-TT) at TU Darmstadt. Before that, he was an Assistant Professor (UD) at the University of Amsterdam. Before that, he was a Research Associate at the University of Edinburgh and at the Barkhausen Institut. He received a Ph.D. (Dr.rer.nat.) degree (Hons.) in computer science from TU Dresden in Germany, and an M.Sc. degree in mathematics in from RWTH Aachen University, also in Germany.

Publications

  1. PLDI'26 A Formally Verified Foundation for Compositional Heterogeneous Coherence

    An Qi Zhang, Andrés Goens, Daniel J. Sorin, Vijay Nagarajan

  2. POPL'26 Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

    Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens

  3. CAL'25 Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology

    Sanya Srivastava, Fletch Rydell, Andrés Goens, Vijay Nagarajan, Daniel J. Sorin

  4. PLDI'25 Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs

    Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer

  5. ARXIV'25 The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

    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

  6. EGRAPHS'24 Bridging Syntax and Semantics of Lean Expressions in E-Graphs

    Marcus Rossel, Andrés Goens

  7. ISCA'24 Determining the Minimum Number of Virtual Networks for Different Coherence Protocols

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

  8. POPL'24 Guided Equality Saturation

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

  9. PACT'24 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

  10. CICM'24 Transforming Optimization Problems into Disciplined Convex Programming Form

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

  11. ITP'24 Verifying Peephole Rewriting in SSA Compiler IRs

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

  12. PLDI'23 Compound Memory Models

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

  13. HCA'23 Dataflow Models of Computation for Programming Heterogeneous Multicores

    Jeronimo Castrillon, Karol Desnos, Andrés Goens, Christian Menard

  14. VSTTE'23 Provable Determinism for Software in Cyber-Physical Systems

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

  15. TCAD'22 mpsym: Improving Design-Space Exploration of Clustered Manycores With Arbitrary Topologies

    Andrés Goens, Timo Nicolai, Jerónimo Castrillón

  16. CASES'21 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

  17. SAMOS'21 Embeddings of Task Mappings to Multicore Systems

    Andrés Goens, Jerónimo Castrillón

  18. PHDTHESIS'21 Improving Model-Based Software Synthesis: A Focus on Mathematical Structures

    Andrés Goens

  19. RAPIDO'21 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

  20. PACT'21 PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning

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

  21. DATE'20 Achieving Determinism in Adaptive AUTOSAR

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

  22. CC'20 Compiler-based graph representations for deep learning models of code

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

  23. FDL'20 ComPy-Learn: A toolbox for exploring machine learning representations for compilers

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

  24. DATE'20 Generalized Data Placement Strategies for Racetrack Memories

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

  25. ICT'20 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

  26. MAPL'19 A case study on machine learning for synthesizing benchmarks

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

  27. DAC'19 Actors Revisited for Time-Critical Systems

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

  28. SAMOS'19 On Compact Mappings for Multicore Systems

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

  29. CYPHY'19 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

  30. HASKELL'19 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

  31. TMSCS'18 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

  32. CC'18 Compiling for concise code and efficient I/O

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

  33. PARMA'18 Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap

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

  34. MULTIPROG'18 Level Graphs: Generating Benchmarks for Concurrency Optimizations in Compilers

    Andrés Goens, Sebastian Ertel, Justus Adam, Jeronimo Castrillon

  35. MCSOC'18 On the Representation of Mappings to Multicores

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

  36. SCOPES'17 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

  37. TACO'17 Symmetry in Software Synthesis

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

  38. SCOPES'17 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

  39. JSA'16 An optimal allocation of memory buffers for complex multicore platforms

    Andrés Goens, Jerónimo Castrillón, Maximilian Odendahl, Rainer Leupers

  40. NORCAS'16 High-level NoC model for MPSoC compilers

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

  41. MCSOC'16 Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study

    Andrés Goens, Robert Khasanov, Jerónimo Castrillón, Simon Polstra, Andy D. Pimentel

  42. IESS'15 Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs

    Andrés Goens, Jerónimo Castrillón

  43. IPDPS'15 Buffer Allocation Based On-Chip Memory Optimization for Many-Core Platforms

    Maximilian Odendahl, Andrés Goens, Rainer Leupers, Gerd Ascheid, Tomas Henriksson

  44. DATE'14 Optimized buffer allocation in multicore platforms

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