publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

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

  1. 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
  2. Performance Debugging through Microarchitectural Sensitivity and Causality Analysis
    Alban Dutilleul, Hugo Pompougnac, Nicolas Derumigny, Gabriel Rodríguez, Valentin Trophime, Christophe Guillon, and Fabrice Rastello
    arXiv preprint arXiv:2412.13207, 2024

2022

  1. MARTA: Multi-configuration Assembly pRofiler and Toolkit for performance Analysis
    Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Tourino
    In IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, 2022
  2. 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

2021

  1. PolyBench/Python: benchmarking Python environments with polyhedral optimizations
    Miguel Á Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
    In 30th ACM SIGPLAN International Conference on Compiler Construction, CC, 2021
  2. Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings
    Steve Kommrusch, Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño
    IEEE Access, 2021
  3. Representing Integer Sequences Using Piecewise-Affine Loops
    Gabriel Rodríguez, Louis-Noël Pouchet, and Juan Touriño
    Mathematics, 2021

2020

  1. Coherence Traffic in Manycore Processors with Opaque Distributed Directories
    Steve Kommrusch, Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño
    arXiv preprint arXiv:2011.05422, 2020

2019

  1. Affine modeling of program traces
    Gabriel Rodríguez, Mahmut T Kandemir, and Juan Touriño
    IEEE Transactions on Computers, 2019
  2. Truncated SIMD Multiplier Architecture for Approximate Computing in Low-Power Programmable Processors
    Roberto R Osorio and Gabriel Rodríguez
    IEEE Access, 2019
  3. 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
  4. Simulating the Network Activity of Modern Manycores
    Marcos Horro, Gabriel Rodríguez, and Juan Touriño
    IEEE Access, 2019
  5. 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

2018

  1. Polyhedral modeling of immutable sparse matrices
    Gabriel Rodríguez and Louis-Noël Pouchet
    In 8th International Workshop on Polyhedral Compilation Techniques, IMPACT, 2018

2016

  1. Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives
    José M Andión, Manuel Arenaz, François Bodin, Gabriel Rodríguez, and Juan Touriño
    International Journal of Parallel Programming, 2016
  2. Trace-based affine reconstruction of codes
    Gabriel Rodríguez, José M Andión, Mahmut T Kandemir, and Juan Touriño
    In International Symposium on Code Generation and Optimization, CGO, 2016
  3. Portable Application-level Checkpointing for Hybrid MPI-OpenMP Applications
    Nuria Losada, Marı́a J Martı́n, Gabriel Rodríguez, and Patricia González
    Procedia Computer Science, 2016
  4. Exploració, n y optimización energética de arquitecturas heterogéneas con el framework gem5
    Marcos Horro, Gabriel Rodrıguez, and Juan Tourino
    Actas Jornadas Sarteco, 2016
  5. An application-level solution for the dynamic reconfiguration of MPI applications
    Iván Cores, Patricia González, Emmanuel Jeannot, Marı́a J Martı́n, and Gabriel Rodríguez
    In International Conference on Vector and Parallel Processing, VECPAR, 2016

2015

  1. Reconstructing affine codes from their memory traces
    Gabriel Rodrıguez, José M Andión, Juan Tourino, and Mahmut T Kandemir
    2015
  2. I/O optimization in the checkpointing of OpenMP parallel applications
    Nuria Losada, Marı́a J Martı́n, Gabriel Rodríguez, and Patricia González
    In 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP, 2015

2014

  1. Failure Avoidance in MPI Applications Using an Application-Level Approach
    Iván Cores, Gabriel Rodríguez, Patricia González, and Marı́a J Martı́n
    The Computer Journal, 2014
  2. In-memory application-level checkpoint-based migration for MPI programs
    Iván Cores, Gabriel Rodríguez, Marı́a J Martı́n, and Patricia González
    The Journal of Supercomputing, 2014
  3. Volatile STT-RAM scratchpad design and data allocation for low energy
    Gabriel Rodríguez, Juan Touriño, and Mahmut T Kandemir
    ACM Transactions on Architecture and Code Optimization (TACO), 2014
  4. A parallelizing compiler for multicore systems
    José M Andión, Manuel Arenaz, Gabriel Rodríguez, and Juan Touriño
    In 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES, 2014
  5. Extending an Application-Level Checkpointing Tool to Provide Fault Tolerance Support to OpenMP Applications
    Nuria Losada, Marı́a J Martı́n, Gabriel Rodríguez, and Patricia González
    Journal of Universal Computer Science, 2014

2013

  1. Checkpoint Size Reduction in Application-level Fault Tolerant Solutions
    Iván Cores, Gabriel Rodrıguez, Marıa Martın, and Patricia González
    Journal of Universal Computer Science, 2013
  2. Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience
    Gabriel Rodríguez, Marı́a J Martı́n, Patricia González, Juan Touriño, and Ramón Doallo
    International Journal of Parallel Programming, 2013
  3. A novel compiler support for automatic parallelization on multicore systems
    José M Andión, Manuel Arenaz, Gabriel Rodríguez, and Juan Touriño
    Parallel Computing, 2013
  4. Achieving Checkpointing Global Consistency Through a Hybrid Compile Time and Runtime Protocol
    Iván Cores, Gabriel Rodríguez, Marı́a J Martı́n, and Patricia González
    Procedia Computer Science, 2013
  5. Resilient Dynamic Data Driven Application Systems (rDDDAS)
    Glynis Dsouza, Salim Hariri, Youssif Al-Nashif, and Gabriel Rodriguez
    Procedia Computer Science, 2013
  6. Building resilient cloud services using DDDAS and moving target defence
    Glynis Dsouza, Gabriel Rodriguez, Youssif Al–Nashif, and Salim Hariri
    International Journal of Cloud Computing, 2013
  7. Improving Scalability of Application-Level Checkpoint-Recovery by Reducing Checkpoint Sizes.
    Iván Cores, Gabriel Rodríguez, Marı́a J Martı́n, Patricia González, and Roberto R Osorio
    New Generation Comput., 2013

2012

  1. Reducing Application-level Checkpoint File Sizes: Towards Scalable Fault Tolerance Solutions
    Iván Cores, Gabriel Rodríguez, Marı́a J Martı́n, and Patricia González
    In IEEE 10th International Symposium on Parallel and Distributed Processing with Applications, ISPA, 2012

2011

  1. Analysis of Performance-impacting Factors on Checkpointing Frameworks: The CPPC Case Study
    Gabriel Rodríguez, Marı́a J Martı́n, Patricia González, and Juan Touriño
    The Computer Journal, 2011
  2. Parallel hierarchical radiosity on hybrid platforms
    Emilio J Padrón, Margarita Amor, Montserrat Bóo, Gabriel Rodríguez, and Ramón Doallo
    The Journal of Supercomputing, 2011
  3. An application level approach for proactive process migration in MPI applications
    Iván Cores, Gabriel Rodríguez, Patricia González, and Marı́a J Martı́n
    In 12th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT, 2011

2010

  1. CPPC: a compiler-assisted tool for portable checkpointing of message-passing applications
    Gabriel Rodríguez, Marı́a J Martı́n, Patricia González, Juan Tourino, and Ramón Doallo
    Concurrency and Computation: Practice and Experience, 2010
  2. Performance evaluation of an application-level checkpointing solution on grids
    Gabriel Rodríguez, Xoán C Pardo, Marı́a J Martı́n, and Patricia González
    Future Generation Computer Systems, 2010
  3. Achieving Fault Tolerance on Grids with the CPPC Framework and the GridWay Metascheduler
    Iván Cores, Gabriel Rodriguez, Maria J Martin, and Patricia González
    In 22nd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD, 2010

2009

  1. A heuristic approach for the automatic insertion of checkpoints in message-passing codes
    Gabriel Rodriguez, Maria J Martin, Patricia González, and Juan Tourino
    Journal of Universal Computer Science, 2009

2008

  1. A fault tolerance solution for sequential and MPI applications on the Grid
    Gabriel Rodríguez, Xoán C Pardo, Marı́a J Martı́n, Patricia González, and Daniel Dı́az
    Scalable Computing: Practice and Experience, 2008
  2. CPPC-G: fault-tolerant applications on the grid
    Daniel Dı́az, Xoán Pardo, Marı́a Martı́n, Patricia González, and Gabriel Rodríguez
    Parallel Processing and Applied Mathematics, 2008
  3. Compiler-assisted checkpointing of message-passing applications in heterogeneous environments
    Gabriel Rodríguez Álvarez
    2008
  4. Compiler-assisted checkpointing of message-passing applications in heterogeneous environments
    G Rodríguez
    PhD Thesis, A Coruña, 2008

2007

  1. Enhancing fault-tolerance of large-scale MPI scientific applications
    Gabriel Rodríguez, Patricia González, Marı́a J Martı́n, and Juan Touriño
    In Parallel Computing Technologies: 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings 9, 2007
  2. CPPC: una herramienta portable para el checkpointing de aplicaciones paralelas
    G Rodríguez, MJ Martı́n, P González, and others
    RedIRIS: boletı́n de la Red Nacional de I+ D RedIRIS, 2007
  3. CPPC-G: Fault-Tolerant Parallel Applications on the Grid
    Daniel Dıaz, X Pardo, Marıa J Martın, Patricia González, Gabriel Rodrıguez, Juan Tourino, and Ramón Doallo
    In 3rd Workshop on Large Scale Computations on Grids, LaSCoG, 2007
  4. Controlador/Precompilador de Checkpoints Portables
    Gabriel Rodrıguez, Marıa J Martın, Patricia González, Juan Tourino, and Ramón Doallo
    RedIRIS: boletı́n de la Red Nacional de I+ D RedIRIS, 2007
  5. CPPC: una herramienta portable para el checkpointing de aplicaciones paralelas
    G Rodríguez, MJ Martı́n, and P González
    RedIRIS: boletı́n de la Red Nacional de I+ D RedIRIS, 2007

2006

  1. Controller/precompiler for portable checkpointing
    Gabriel Rodríguez, Marı́a J Martı́n, Patricia González, and Juan Tourino
    IEICE Transactions on Information, 2006
  2. Portable checkpointing of MPI applications
    Gabriel Rodrıguez, Marıa J Martın, Patricia González, Juan Tourino, and Ramón Doallo
    In 12th Workshop on Compilers for Parallel Computers, CPC, 2006

2005

  1. On designing portable checkpointing tools for large-scale parallel applications
    Gabriel Rodrıguez, Marıa J Martın, Patricia González, Juan Tourino, and Ramón Doallo
    Proc. of ICCSE, 2005

2004

  1. Controlador/Precompilador de Checkpoints Portables
    Marı́a José Martı́n Santamarı́a, Juan Touriño Domı́nguez, Patricia González, Gabriel Rodríguez, and Ramón Doallo Biempica
    In XV Jornadas de Paralelismo, 2004

  1. Cetus-assisted checkpointing of parallel codes
    Gabriel Rodrı́guez, Marı́a J Martı́n, Patricia González, Juan Tourino, and Ramón Doallo
  2. Architectural exploration of heterogeneous memory systems
    Marcos Horro, Gabriel Rodrı́guez, Juan Tourino, and Mahmut T Kandemir
  3. Study of the Intel Knights Landing (KNL) memory system tradeoffs
    Marcos Horro, Gabriel Rodríguez, Juan Touriño, and Mahmut T Kandemir
    Proceedings of the 13th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
  4. Toolkit para (micro-) benchmarking y aná, lisis de caracterısticas de rendimiento en kernels
    Marcos Horro, Louis-Nöel Pouchet, Gabriel Rodrıguez, and Juan Tourino
  5. UZP: Representing sparse matrices as polyhedra
    Alonso Rodríguez-Iglesias, Gabriel Rodríguez, Juan Touriño, and Louis-Noël Pouchet