Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Prof. dr. A.W. (Andres) Goens Jokisch

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Informatics Institute
Bezoekadres
  • Science Park 900
Postadres
  • Postbus 94323
    1090 GH Amsterdam
Contactgegevens
Social media
  • Homepage
    Personal Homepage of Andrés Goens
  • Publicaties

    2025

    • Castrillon, J., Desnos, K., Goens, A., & Menard, C. (2025). Dataflow models of computation for programming heterogeneous multicores. In A. Chattopadhyay (Ed.), Handbook of Computer Architecture (pp. 1107-1146). Springer. https://doi.org/10.1007/978-981-97-9314-3_45 [details]
    • Schneider, R., Rossel, M., Shaikhha, A., Goens, A., Kœhler, T., & Steuwer, M. (2025). Slotted E-Graphs First-Class Support for (Bound) Variables in E-Graphs. Proceedings of the ACM on Programming Languages, 9(PLDI), 1888-1910. Article 223. https://doi.org/10.1145/3729326 [details]

    2024

    • Bhat, S., Keizer, A., Hughes, C., Goens, A., & Grosser, T. (2024). Verifying Peephole Rewriting in SSA Compiler IRs. In Y. Bertot, T. Kutsia, & M. Norrish (Eds.), 15th International Conference on Interactive Theorem Proving: ITP 2024, September 9–14, 2024, Tbilisi, Georgia Article 9 (Leibniz International Proceedings in Informatics; Vol. 309). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2024.9 [details]
    • Fernández Mir, R., Jackson, P. B., Bhat, S., Goens, A., & Grosser, T. (2024). Transforming Optimization Problems into Disciplined Convex Programming Form. In A. Kohlhase, & L. Kovács (Eds.), Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024 : proceedings (pp. 183-202). (Lecture Notes in Computer Science; Vol. 14960), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-66997-2_11 [details]
    • Kœhler, T., Goens, A., Bhat, S., Grosser, T., Trinder, P., & Steuwer, M. (2024). Guided Equality Saturation. Proceedings of the ACM on Programming Languages, 8(POPL), Article 58. https://doi.org/10.1145/3632900 [details]
    • Li, W., Goens, A., Oswald, N., Nagarajan, V., & Sorin, D. J. (2024). Determining the Minimum Number of Virtual Networks for Different Coherence Protocols. In 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture: ISCA 2024 : proceedings : 29 June-3 July 2024, Buenos Aires, Argentina (pp. 182-197). IEEE Computer Society. https://doi.org/10.1109/ISCA59077.2024.00023 [details]
    • Rossel, M., Lin, S. J., Lohstroh, M., Castrillon, J., & Goens, A. (2024). Provable Determinism for Software in Cyber-Physical Systems. In A. Reynolds, & S. Tasiran (Eds.), Verified Software : Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023 : revised selected papers (pp. 85–107). (Lecture Notes in Computer Science; Vol. 14095). Springer. https://doi.org/10.1007/978-3-031-66064-1_6 [details]
    • Zhang, A. Q., Goens, A., Oswald, N., Grosser, T., Sorin, D., & Nagarajan, V. (2024). PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model. In PACT '24: proceedings of the 2024 the International Conference on Parallel Architecture and Compilation Techniques : October 14-16, 2024, Long Beach, CA, USA (pp. 1-13). Association for Computing Machinery. https://doi.org/10.1145/3656019.3676889 [details]

    2023

    • Goens, A., Chakraborty, S., Sarkar, S., Agarwal, S., Oswald, N., & Nagarajan, V. (2023). Compound Memory Models. Proceedings of the ACM on Programming Languages, 7(PLDI), Article 153. https://doi.org/10.1145/3591267

    2022

    • Goens, A., & Castrillon, J. (2022). Embeddings of Task Mappings to Multicore Systems. In A. Orailoglu, M. Jung, & M. Reichenbach (Eds.), Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Proceedings (pp. 161-176). (Lecture Notes in Computer Science; Vol. 13227). Springer. https://doi.org/10.1007/978-3-031-04580-6_11
    • Goens, A., Nicolai, T., & Castrillon, J. (2022). mpsym: Improving Design-Space Exploration of Clustered Manycores With Arbitrary Topologies. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(6), 1592-1605. https://doi.org/10.1109/TCAD.2021.3102512

    2021

    • Brauckmann, A., Goens, A., & Castrillon, J. (2021). PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning. In J. Lee, & A. Cohen (Eds.), Proceedings - 30th International Conference on Parallel Architectures and Compilation Techniques, PACT 2021 (pp. 17-29). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PACT52795.2021.00009
    • Khasanov, R., Robledo, J., Menard, C., Goens, A., & Castrillon, J. (2021). Domain-specific Hybrid Mapping for Energy-efficient Baseband Processing in Wireless Networks. ACM Transactions on Embedded Computing Systems, 20(5s), Article 60. https://doi.org/10.1145/3476991
    • Menard, C., Goens, A., Hempel, G., Khasanov, R., Robledo, J., Teweleitt, F., & Castrillon, J. (2021). Mocasin-Rapid prototyping of rapid prototyping tools: A framework for exploring new approaches in mapping software to heterogeneous multi-cores. In Proceedings of the 2021 Drone Systems Engineering and Rapid Simulation and Performance Evaluation: Methods and Tools, DroneSE and RAPIDO 2021 (pp. 66-73). Association for Computing Machinery. https://doi.org/10.1145/3444950.3447285

    2020

    • Brauckmann, A., Goens, A., & Castrillon, J. (2020). ComPy-Learn: A toolbox for exploring machine learning representations for compilers. In Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020 Article 9232946 IEEE Computer Society Press. https://doi.org/10.1109/FDL50818.2020.9232946
    • Brauckmann, A., Goens, A., Ertel, S., & Castrillon, J. (2020). Compiler-based graph representations for deep learning models of code. In L.-N. Pouchet, & A. Jimborean (Eds.), CC 2020 - Proceedings of the 29th International Conference on Compiler Construction (pp. 201-211). Association for Computing Machinery. https://doi.org/10.1145/3377555.3377894
    • Khan, A. A., Goens, A., Hameed, F., & Castrillon, J. (2020). Generalized Data Placement Strategies for Racetrack Memories. In G. Di Natale, C. Bolchini, & E.-I. Vatajelu (Eds.), Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 (pp. 1502-1507). Article 9116245 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/DATE48585.2020.9116245
    • Lohstroh, M., Romeo, Í. Í., Goens, A., Derler, P., Castrillon, J., Lee, E. A., & Sangiovanni-Vincentelli, A. (2020). Reactors: A Deterministic Model for Composable Reactive Systems. In R. Chamberlain, M. Edin Grimheden, & W. Taha (Eds.), Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers (pp. 59-85). (Lecture Notes in Computer Science; Vol. 11971). Springer. https://doi.org/10.1007/978-3-030-41131-2_4
    • Menard, C., Goens, A., Lohstroh, M., & Castrillon, J. (2020). Achieving Determinism in Adaptive AUTOSAR. In G. Di Natale, C. Bolchini, & E.-I. Vatajelu (Eds.), Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 (pp. 822-827). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/DATE48585.2020.9116430
    • Wittig, R., Goens, A., Menard, C., Matus, E., Fettweis, G. P., & Castrülon, J. (2020). Modem design in the era of 5G and beyond: The need for a formal approach. In Proceedings of the 2020 27th International Conference on Telecommunications, ICT 2020 Article 09239538 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICT49546.2020.9239539

    2019

    • Ertel, S., Adam, J., Rink, N. A., Goens, A., & Castrillon, J. (2019). Stclang: State thread composition as a foundation for monadic dataflow parallelism. In R. A. Eisenberg (Ed.), Haskell 2019 - Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2019 (pp. 146-161). Association for Computing Machinery. https://doi.org/10.1145/3331545.3342600
    • Goens, A., Cummins, C., Brauckmann, A., Leather, H., Ertel, S., & Castrillon, J. (2019). A case study on machine learning for synthesizing benchmarks. In T. Mattson, A. Muzahid, & A. Solar-Lezama (Eds.), MAPL 2019 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, co-located with PLDI 2019 (pp. 38-46). Association for Computing Machinery. https://doi.org/10.1145/3315508.3329976
    • Goens, A., Menard, C., & Castrillon, J. (2019). On compact mappings for multicore systems. In D. N. Pnevmatikatos, M. Pelcat, & M. Jung (Eds.), Embedded Computer Systems: Architectures, Modeling, and Simulation - 19th International Conference, SAMOS 2019, Proceedings (pp. 325-335). (Lecture Notes in Computer Science; Vol. 11733). Springer. https://doi.org/10.1007/978-3-030-27562-4_23
    • Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C., Sirjani, M., & Lee, E. A. (2019). Invited: Actors revisited for time-critical systems. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019 Article a152 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/3316781.3323469

    2018

    • Castrillon, J., Lieber, M., Kluppelholz, S., Volp, M., Asmussen, N., Asmann, U., Baader, F., Baier, C., Fettweis, G., Frohlich, J., Goens, A., Haas, S., Habich, D., Hartig, H., Hasler, M., Huismann, I., Karnagel, T., Karol, S., Kumar, A., ... Wunderlich, S. (2018). A hardware/software stack for heterogeneous systems. IEEE Transactions on Multi-Scale Computing Systems, 4(3), 243-259. Article 8103042. https://doi.org/10.1109/TMSCS.2017.2771750
    • Ertel, S., Adam, J., Goens, A., & Castrillon, J. (2018). Compiling for concise code and ecient I/O. In J. Xue, & C. Dubach (Eds.), CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018 (pp. 104-115). (CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018; Vol. 2018-February). Association for Computing Machinery, Inc. https://doi.org/10.1145/3178372.3179505
    • Goens, A., Menard, C., & Castrillon, J. (2018). On the representation of mappings to multicores. In Proceedings - 2018 IEEE 12th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2018 (pp. 184-191). (Proceedings - 2018 IEEE 12th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/MCSoC2018.2018.00039
    • Khasanov, R., Goens, A., & Castrillon, J. (2018). Implicit data-parallelism in Kahn Process Networks: Bridging the MacQueen gap. In PARMA-DITAM 2018 - Proceedings: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (pp. 20-25). Association for Computing Machinery. https://doi.org/10.1145/3183767.3183790

    2017

    • Goens, A., & Castrillon, J. (2017). Analysis of process traces for mapping dynamic KPN applications to MPSoCs. In M. A. Wehrmeister, G. Schirner, M. A. Al Faruque, A. Rettberg, & M. Gotz (Eds.), System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Proceedings (pp. 116-127). (IFIP Advances in Information and Communication Technology; Vol. 523). Springer New York LLC. https://doi.org/10.1007/978-3-319-90023-0_10
    • Goens, A., Khasanov, R., Castrillon, J., Hähnel, M., Smejkal, T., & Härtig, H. (2017). TETRiS: A multi-application run-time system for predictable execution of static mappings. In S. Stuijk (Ed.), Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 (pp. 11-20). (Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017). Association for Computing Machinery, Inc. https://doi.org/10.1145/3078659.3078663
    • Goens, A., Siccha, S., & Castrillon, J. (2017). Symmetry in software synthesis. ACM Transactions on Architecture and Code Optimization, 14(2), Article 20. https://doi.org/10.1145/3095747
    • Hempel, G., Goens, A., Castrillon, J., Asmus, J., & Sbalzarini, I. F. (2017). Robust mapping of process networks to many-core systems using bio-inspired design centering. In S. Stuijk (Ed.), Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 (pp. 21-30). (Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017). Association for Computing Machinery, Inc. https://doi.org/10.1145/3078659.3078667

    2016

    • Goens, A., Khasanov, R., Castrillon, J., Polstra, S., & Pimentel, A. (2016). Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study. In Proceedings, IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip: 21-23 September 2016, Lyon, France (pp. 281-288). IEEE Computer Society. https://doi.org/10.1109/MCSoC.2016.48, https://doi.org/10.1109/MCSoC.2016.48 [details]
    • Menard, C., Goens, A., & Castrillon, J. (2016). High-level NoC model for MPSoC compilers. In J. Sparso, I. Jorgensen, I. R. Nielsen, & J. Nurmi (Eds.), NORCAS 2016 - 2nd IEEE NORCAS Conference Article 7792876 (NORCAS 2016 - 2nd IEEE NORCAS Conference). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/NORCHIP.2016.7792876

    2015

    • Goens, A., Castrillon, J., Odendahl, M., & Leupers, R. (2015). An optimal allocation of memory buffers for complex multicore platforms. Journal of Systems Architecture, 66-67, 69-83. https://doi.org/10.1016/j.sysarc.2016.05.002
    • Odendahl, M., Goens, A., Leupers, R., Ascheid, G., & Henriksson, T. (2015). Buffer Allocation Based On-Chip Memory Optimization for Many-Core Platforms. In Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015 (pp. 1119-1124). Article 7284435 (Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IPDPSW.2015.67

    2014

    • Odendahl, M., Goens, A., Leupers, R., Ascheid, G., Ries, B., Vöcking, B., & Henriksson, T. (2014). Optimized buffer allocation in multicore platforms. In Proceedings - Design, Automation and Test in Europe, DATE 2014 Article 6800538 (Proceedings -Design, Automation and Test in Europe, DATE). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.7873/DATE2014.337
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie