Gabriel Rodríguez

D4.07

Facultade de Informática

Campus de Elviña, s/n, 15071 A Coruña

Ext. 1261

Interested in HPC, compilers, sparse computations, and anything that makes machines work a bit more and me a bit less. Marcuse had the right idea.

My workplace:

Some selected professional service:

Artifact Evaluation co-Chair for PACT 2025.
General Chair for ACM SIGPLAN CC 2024.
Program Committee Member for PACT 2026, PLDI 2022, CC 2021, ICPP 2020.
Reviewer for Computer Journal, IEEE TVLSI, IEEE TCAD, IEEE TPDS, ACM TACO.

selected publications

2025

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs

Alonso Rodríguez-Iglesias, Santoshkumar T Tongli, Emily Tucker, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño

In 46th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, 2025

2024

Formal Verification of Source-to-Source Transformations for HLS

Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez, and Zhiru Zhang

In ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA, 2024

Awarded

Best Paper Award

2022

Custom High-Performance Vector Code Generation for Data-Specific Sparse Computations

Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño

In International Conference on Parallel Architectures and Compilation Techniques, PACT, 2022

2019

Affine modeling of program traces

Gabriel Rodríguez, Mahmut T Kandemir, and Juan Touriño

IEEE Transactions on Computers, 2019
Generating piecewise-regular code from irregular structures

Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, and Gabriel Rodríguez

In 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, 2019
Effect of distributed directories in mesh interconnects

Marcos Horro, Mahmut T Kandemir, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño

In 56th Annual Design Automation Conference, DAC, 2019

Awarded

HiPEAC Paper Award