Publications

Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer (2024). Guided Equality Saturation. The 51st ACM SIGPLAN Symposium on Principles of Programing Languages, January 2024 (POPL 2024).

PDF Cite DOI URL

Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens (2023). Provable Determinism for Software in Cyber-Physical Systems. 15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2023).

Cite

Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan (2023). Compound Memory Models. The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2023 (PLDI'23).

Cite DOI URL

Jeronimo Castrillon, Karol Desnos, Andrés Goens, Christian Menard (2023). Dataflow Models of Computation for Programming Heterogeneous Multicores. Handbook of Computer Architecture.

Cite DOI URL

Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jeronimo Castrillon (2021). Domain-specific hybrid mapping for energy-efficient baseband processing in wireless networks. ACM Transactions on Embedded Computing Systems (TECS). Special issue of the International Conference on Compilers, Architecture, and Synthesis of Embedded Systems (CASES).

Cite DOI URL

Alexander Brauckmann, Andrés Goens, Jeronimo Castrillon (2021). PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning. Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques (PACT).

Cite DOI URL

Andrés Goens, Jeronimo Castrillon (2021). Embeddings of Task Mappings to Multicore Systems. Proceedings of the 21st IEEE International Conference on Embedded Computer Systems: Architectures Modeling and Simulation (SAMOS).

Cite DOI URL

Andrés Goens, Timo Nicolai, Jeronimo Castrillon (2021). mpsym: Improving Design-Space Exploration of Clustered Manycores with Arbitrary Topologies. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).

Cite DOI URL

Christian Menard, Andrés Goens, Gerald Hempel, Robert Khasanov, Julian Robledo, Felix Teweleitt, Jeronimo Castrillon (2021). Mocasin -- Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores. Proceedings of the 13th RAPIDO Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, co-located with 16th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC).

Cite

Robert Wittig, Andrés Goens, Christian Menard, Emil Matus, Gerhard P. Fettweis, Jeronimo Castrillon (2020). Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach. Proceedings of the 27th International Conference on Telecomunications (ICT).

Cite