default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndres Goens
Person information
- affiliation (PhD 2021): Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]Thomas Koehler
, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer:
Guided Equality Saturation. Proc. ACM Program. Lang. 8(POPL): 1727-1758 (2024)- [c27]Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin:
Determining the Minimum Number of Virtual Networks for Different Coherence Protocols. ISCA 2024: 182-197 - [c26]Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser:
Verifying Peephole Rewriting in SSA Compiler IRs. ITP 2024: 9:1-9:20 - [c25]Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser:
Transforming Optimization Problems into Disciplined Convex Programming Form. CICM 2024: 183-202 - [i7]Marcus Rossel, Andrés Goens:
Bridging Syntax and Semantics of Lean Expressions in E-Graphs. CoRR abs/2405.10188 (2024) - [i6]Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser:
Verifying Peephole Rewriting In SSA Compiler IRs. CoRR abs/2407.03685 (2024) - 2023
- [j6]Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan:
Compound Memory Models. Proc. ACM Program. Lang. 7(PLDI): 1145-1168 (2023) - [c24]Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens:
Provable Determinism for Software in Cyber-Physical Systems. VSTTE 2023: 85-107 - 2022
- [j5]Andres Goens, Timo Nicolai, Jerónimo Castrillón:
mpsym: Improving Design-Space Exploration of Clustered Manycores With Arbitrary Topologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(6): 1592-1605 (2022) - 2021
- [b1]Andres Wilhelm Goens Jokisch:
Improving Model-Based Software Synthesis: A Focus on Mathematical Structures. Dresden University of Technology, Germany, 2021 - [j4]Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jerónimo Castrillón:
Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks. ACM Trans. Embed. Comput. Syst. 20(5s): 60:1-60:26 (2021) - [c23]Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning. PACT 2021: 17-29 - [c22]Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jerónimo Castrillón:
Mocasin - Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores. DroneSE/RAPIDO@HiPEAC 2021: 66-73 - [c21]Andrés Goens, Jerónimo Castrillón:
Embeddings of Task Mappings to Multicore Systems. SAMOS 2021: 161-176 - [i5]Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
A Reinforcement Learning Environment for Polyhedral Optimizations. CoRR abs/2104.13732 (2021) - 2020
- [c20]Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón:
Compiler-based graph representations for deep learning models of code. CC 2020: 201-211 - [c19]Christian Menard, Andrés Goens, Marten Lohstroh, Jerónimo Castrillón:
Achieving Determinism in Adaptive AUTOSAR. DATE 2020: 822-827 - [c18]Asif Ali Khan, Andrés Goens, Fazal Hameed, Jerónimo Castrillón:
Generalized Data Placement Strategies for Racetrack Memories. DATE 2020: 1502-1507 - [c17]Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
ComPy-Learn: A toolbox for exploring machine learning representations for compilers. FDL 2020: 1-4 - [c16]Robert Wittig, Andrés Goens, Christian Menard, Emil Matús, Gerhard P. Fettweis, Jerónimo Castrillón:
Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach. ICT 2020: 1-5
2010 – 2019
- 2019
- [c15]Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE 2019: 59-85 - [c14]Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee:
Actors Revisited for Time-Critical Systems. DAC 2019: 152 - [c13]Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón:
STCLang: state thread composition as a foundation for monadic dataflow parallelism. Haskell@ICFP 2019: 146-161 - [c12]Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón:
A case study on machine learning for synthesizing benchmarks. MAPL@PLDI 2019: 38-46 - [c11]Andrés Goens, Christian Menard, Jerónimo Castrillón:
On Compact Mappings for Multicore Systems. SAMOS 2019: 325-335 - [i4]Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón:
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism". CoRR abs/1906.12098 (2019) - [i3]Christian Menard, Andres Goens, Marten Lohstroh, Jerónimo Castrillón:
Achieving Determinism in Adaptive AUTOSAR. CoRR abs/1912.01367 (2019) - [i2]Asif Ali Khan, Andres Goens, Fazal Hameed, Jerónimo Castrillón:
Generalized Data Placement Strategies for Racetrack Memories. CoRR abs/1912.03507 (2019) - 2018
- [j3]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:
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4(3): 243-259 (2018) - [c10]Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón:
Compiling for concise code and efficient I/O. CC 2018: 104-115 - [c9]Robert Khasanov, Andrés Goens, Jerónimo Castrillón:
Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap. PARMA-DITAM@HiPEAC 2018: 20-25 - [c8]Andres Goens, Christian Menard, Jerónimo Castrillón:
On the Representation of Mappings to Multicores. MCSoC 2018: 184-191 - 2017
- [j2]Andrés Goens, Sergio Siccha, Jerónimo Castrillón:
Symmetry in Software Synthesis. ACM Trans. Archit. Code Optim. 14(2): 20:1-20:26 (2017) - [c7]Andrés Goens, Robert Khasanov, Jerónimo Castrillón, Marcus Hähnel, Till Smejkal, Hermann Härtig:
TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings. SCOPES 2017: 11-20 - [c6]Gerald Hempel, Andrés Goens, Jerónimo Castrillón, Josefine Asmus, Ivo F. Sbalzarini:
Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering. SCOPES 2017: 21-30 - [i1]Andrés Goens, Sergio Siccha, Jerónimo Castrillón:
Symmetry in Software Synthesis. CoRR abs/1704.06623 (2017) - 2016
- [j1]Andres Goens, Jerónimo Castrillón, Maximilian Odendahl, Rainer Leupers:
An optimal allocation of memory buffers for complex multicore platforms. J. Syst. Archit. 66-67: 69-83 (2016) - [c5]Andres Goens, Robert Khasanov, Jerónimo Castrillón, Simon Polstra, Andy D. Pimentel:
Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study. MCSoC 2016: 281-288 - [c4]Christian Menard, Andres Goens, Jerónimo Castrillón:
High-level NoC model for MPSoC compilers. NORCAS 2016: 1-6 - 2015
- [c3]Andrés Goens, Jerónimo Castrillón:
Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs. IESS 2015: 116-127 - [c2]Maximilian Odendahl, Andres Goens, Rainer Leupers, Gerd Ascheid, Tomas Henriksson:
Buffer Allocation Based On-Chip Memory Optimization for Many-Core Platforms. IPDPS Workshops 2015: 1119-1124 - 2014
- [c1]Maximilian Odendahl, Andres Goens, Rainer Leupers, Gerd Ascheid, Benjamin Ries, Berthold Vöcking, Tomas Henriksson:
Optimized buffer allocation in multicore platforms. DATE 2014: 1-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
