Publications

An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan (2024). Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model. The 33rd International Conference on Parallel Architectures and Compilation Techniques (PACT'24).

PDF Cite DOI URL

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

Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin (2024). Determining the Minimum Number of Virtual Networks for Different Coherence Protocols. The 51st International Symposium on Computer Architecture (ISCA), June-July 2024 (ISCA'24).

PDF Cite DOI URL

Ramon Fernández Mir, Paul Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser (2024). Transforming Optimization Problems into Disciplined Convex Programming Form. Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, Quebéc, Canada, August 5-9, 2024, Proceedings.

PDF Cite DOI

Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser (2024). Verifying Peephole Rewriting In SSA Compiler IRs. 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia.

PDF Cite

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).

PDF Cite DOI

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