Skip to content

Tobias Grosser

Andres Goens

Andres Goens¶

Andres

Postdoctoral Researcher

https://goens.org/about/

Publications

2024

PACTPipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency ModelAn Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel Sorin, Vijay Nagarajan
CICMTransforming Optimization Problems into Disciplined Convex Programming FormRamon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
ITPVerifying Peephole Rewriting in SSA Compiler IRsSiddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
POPLGuided Equality SaturationThomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer