For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

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

Faculty of Science
Informatics Institute
Visiting address
  • Science Park 900
Postal address
  • Postbus 94323
    1090 GH Amsterdam
Contact details
Social media
  • Homepage
    Personal Homepage of Andrés Goens
  • Publications

    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.
  • Ancillary activities
    No ancillary activities
edit contact information   edit profile page