Publications

Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez, Zhiru Zhang, Formal Verification of Source-to-Source Transformations for HLS, International Symposium on Field-Programmable Gate Arrays, FPGA , Monterey, CA (USA), March 2024. Best paper award.

Gabriel Rodríguez, Louis-Noël Pouchet, Sparse Tetris: Reconstructing Sparse Matrices with Polyhedra (talk) . 13th International Workshop on Polyhedral Compilation Techniques, IMPACT, Toulouse (France), January 2023.

Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño, MARTA: Multi-configuration Assembly pRofiler and Toolkit for performance Analysis. 2022 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Singapore, May 2022.

Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño, Custom High-Performance Vector Code Generation for Data-Specific Sparse Computations. 31st International Conference on Parallel Architectures and Compilation Techniques, PACT, Chicago, IL (USA), October 2022.

Steve Kommrusch, Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño, Optimizing Coherence Traffic in Manycore Processors Using Closed-form Caching/Home Agent Mappings, IEEE Access, 9:28930-28945, February 2021.

Miguel Ángel Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, Gabriel Rodríguez, PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations. ACM SIGPLAN 2021 International Conference on Compiler Construction, CC, March 2021.

Gabriel Rodríguez, Louis-Noël Pouchet, Juan Touriño, Representing Integer Sequences Using Piecewise-Affine Loops. Mathematics, 9(19):2368, 2021.

Marcos Horro, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño, Toolkit para (micro-)benchmarking y análisis de características de rendimiento en kernels, Jornadas SARTECO, Málaga (Spain), September 2021.

Gabriel Rodríguez, Mahmut T. Kandemir, Juan Touriño, Affine modeling of program traces, IEEE Transactions on Computers, 68(2):294-300, 2019.

Marcos Horro, Mahmut T. Kandemir, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño, Effect of distributed directories in mesh interconnects, 56th Annual Design Automation Conference, DAC, Las Vegas, NV (USA), June 2019. (HiPEAC paper award)

Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, Gabriel Rodríguez, Generating piecewise-regular code from irregular structures, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, Phoenix AZ (USA), June 2019.

Roberto R. Osorio, Gabriel Rodríguez, Truncated SIMD Multiplier Architecture for Approximate Computing in Low Power Programmable Processors, IEEE Access, 7:56353-56366, 2019.

Marcos Horro, Gabriel Rodríguez, Juan Touriño, Simulating the network activity of modern manycores, IEEE Access, 7:81195-81210, 2019.

Gabriel Rodríguez, Louis-Noël Pouchet, Polyhedral Modeling of Immutable Sparse Matrices. 8th International Workshop on Polyhedral Compilation Techniques, IMPACT, Manchester (UK), January 2018.

Gabriel Rodríguez, Louis-Noël Pouchet, Updates on regularity detection and pattern matching for CnC programs. 10th Annual Concurrent Collections Workshop, Stony Brook, NY (USA), November 2018.

Louis-Noël Pouchet, Gabriel Rodríguez, Towards automatic regularity detection in Intel CnC C++. 9th Annual Concurrent Collections Workshop, College Station, TX (USA), October 2017.

Marcos Horro, Gabriel Rodríguez, Juan Touriño, Mahmut T. Kandemir, Study of the Knights Landing Memory System Tradeoffs, 13th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, ACACES, Fiuggi (Italy), July 2017. (poster)

Gabriel Rodríguez, José M. Andión, Mahmut T. Kandemir, Juan Touriño, Trace-Based Affine Reconstruction of Codes. 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO, Barcelona (Spain), March 2016.

José M. Andión, Manuel Arenaz, François Bodin, Gabriel Rodríguez, Juan Touriño, Locality-aware automatic parallelization for GPGPU with OpenHMPP directives. International Journal of Parallel Programming, 44(3):620-643, 2016.

Nuria Losada, María J. Martín, Gabriel Rodríguez, Patricia González, Portable Application-Level Checkpointing for Hybrid MPI-OpenMP Applications. International Conference on Computational Science, ICCS, San Diego, CA (USA), June 2016.

Iván Cores, Patricia González, Emmanuel Jeannot, María J. Martín, Gabriel Rodríguez, An Application-Level Solution for the Dynamic Reconfiguration of MPI Applications. 12th International Meeting on High Performance Computing for Computational Science, VECPAR, Porto (Portugal), June 2016.

Marcos Horro, Gabriel Rodríguez, Juan Touriño, Mahmut T. Kandemir, Architectural exploration of heterogeneous memory systems, 19th Workshop on Compilers for Parallel Computing, CPC, Valladolid (Spain), July 2016.

José M. Andión, Gabriel Rodríguez, Mahmut T. Kandemir, Juan Touriño, A Tool for Reconstructing Codes from Memory Traces, 12th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, ACACES, Fiuggi (Italy), July 2016. (poster)

Marcos Horro, Gabriel Rodríguez, Juan Touriño, Exploración y optimización energética de arquitecturas heterogéneas con el framework gem5, XXVII Jornadas de Paralelismo, Salamanca (Spain), September 2016.

Gabriel Rodríguez, Juan Touriño, Mahmut T. Kandemir, Volatile STT-RAM scratchpad design and data allocation for low energy. ACM Transactions on Architecture and Code Optimization, 11(4):38, 2015.

Nuria Losada, María J. Martín, Gabriel Rodríguez, Patricia González, I/O optimization in the checkpointing of OpenMP parallel applications. 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP,  Turku (Finland), March 2015.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Failure avoidance in MPI applications using an application-level approach, The Computer Journal, 57(1):100-114, 2014.

José M. Andión, Manuel Arenaz, Gabriel Rodríguez, Juan Touriño, A parallelizing compiler for multicore systems, 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES, Schloss Rheinfels (Germany), June 2014.

José M. Andión, Manuel Arenaz, François Bodin, Gabriel Rodríguez, Juan Touriño, Locality-aware automatic parallelization for GPGPU with OpenHMPP directives, 7th International Symposium on High-level Parallel Programming and Applications, HLPP, Amsterdam (Netherlands), July 2014.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, In-memory application-level checkpoint-based migration for MPI programs, Journal of Supercomputing, 70(2):660-670, 2014.

Nuria Losada, María J. Martín, Gabriel Rodríguez, Patricia González, Extending an application-level checkpointing tool to provide fault tolerance support to OpenMP applications, Journal of Universal Computer Science, 20(9):1351-1372, 2014.

José M. Andión, Manuel Arenaz, Gabriel Rodríguez, Juan Touriño, A novel compiler support for automatic parallelization on multicore systems, Parallel Computing, 39(9):442-460, 2013.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Roberto R. Osorio, Improving scalability of application-level checkpoint-recovery by reducing checkpoint sizes, New Generation Computing, 31(3):163-185, 2013.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, High-performance process-level migration of MPI applications, 13th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2013, Cabo de Gata, Almería (Spain), June 2013.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, Compiler-assisted checkpointing of parallel codes: The Cetus and LLVM experience, International Journal of Parallel Programming, 41(6):782-805, 2013.

Glynis Dsouza, Salim Hariri, Youssif Al-Nashif, Gabriel Rodríguez, Resilient Dynamic Data Driven Application Systems (rDDDAS), International Conference on Computational Science, ICCS, Barcelona (Spain). Procedia Computer Science 18:1929-1938. June 2013.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Achieving checkpointing global consistency through a hybrid compile time and runtime protocol, International Conference on Computational Science, ICCS, Barcelona (Spain). Procedia Computer Science 18:169-178. June 2013.

Glynis Dsouza, Gabriel Rodríguez, Yousiff Al-Nashif, Salim Hariri, Building Resilient Cloud Services using DDDAS and Moving Target Defence, International Journal of Cloud Computing, 2(2):171-190, 2013.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Reducing application-level checkpoint file sizes: towards scalable fault tolerance solutions, 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA, Madrid (Spain), July 2012.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Checkpoint size reduction in application-level fault-tolerant solutions, XXII Jornadas de Paralelismo, La Laguna (Spain), September 2011.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, Cetus-assisted checkpointing of parallel codes, Cetus Users and Compiler Infrastructure Workshop, Galveston, TX (USA), October 2011.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, An application level approach for proactive process migration in MPI applications, 12th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT, Gwangju (South Korea), October 2011.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Analysis of performance-impacting factors on checkpointing frameworks: the CPPC case study, The Computer Journal, 54(11):1821-1837, November 2011.

Emilio J. Padrón, Margarita Amor, Montserrat Bóo, Gabriel Rodríguez, Ramón Doallo, Parallel hierarchical radiosity on hybrid platforms, Journal of Supercomputing, 58(3):357-366, December 2011.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, CPPC: A compiler-assisted tool for portable checkpointing of message-passing applications, Concurrency and Computation: Practice & Experience, 22(6):749-766, April 2010.

Gabriel Rodríguez, Xoán C. Pardo, María J. Martín, Patricia González, Performance Evaluation of an Application-Level Checkpointing Solution on Grids, Future Generation Computer Systems, 26(7):1012-1023, July 2010.

Iván Cores, Gabriel Rodríguez, María J. Martín, Patricia González, Achieving fault tolerance on Grids with the CPPC Framework and the GridWay Metascheduler, 22nd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD, Petropolis, RJ (Brazil), October 2010.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, A Heuristic Approach for the Automatic Insertion of Checkpoints in Message-Passing Codes, Journal of Universal Computer Science, 15(14):2894-2911, December 2009.

Daniel Díaz, Xoán C. Pardo, María J. Martín, Patricia González, Gabriel Rodríguez, CPPC-G: Fault Tolerant Applications on the Grid, PPAM 2007: Revised Selected Papers. Lecture Notes in Computer Science, Vol. 4967, pp. 852-859, May 2008.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, CPPC: A compiler-assisted tool for portable checkpointing of message-passing applications, International Workshop on Scalable Tools for High-End Computing, STHEC, Kos (Greece), June 2008.

Gabriel Rodríguez, Xoán C. Pardo, María J. Martín, Patricia González, Daniel Díaz, A fault tolerance solution for sequential and MPI applications on the Grid, Scalable Computing: Practice and Experience, 9(2):101-109, June 2008.

Marta Loureiro, Gabriel Rodríguez, Patricia González, María J. Martín, José C. Mouriño, Teresa Sánchez, Tolerancia a fallos en aplicaciones reales utilizando CPPC, XIX Jornadas de Paralelismo. Castellón (Spain), September 2008.

Gabriel Rodríguez, Compiler-assisted checkpointing of message-passing applications in heterogeneous environments, PhD. Thesis, December 2008. ISBN 978-84-692-8878-8.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, CPPC: Una herramienta portable para el checkpointing de aplicaciones paralelas, Boletín de la Red Nacional de I+D, RedIRIS, 80, pp. 57-61, April 2007.

Daniel Díaz, Xoán C. Pardo, María J. Martín, Patricia González, Gabriel Rodríguez, CPPC-G: Fault-Tolerant Parallel Applications on the Grid, 1st Iberian Grid Infrastructure Conference, IBERGRID, Santiago de Compostela (Spain), May 2007.

Gabriel Rodríguez, Patricia González, María J. Martín, Juan Touriño, Enhancing Fault-Tolerance of Large-Scale MPI Scientific Applications, Lecture Notes in Computer Science, Vol. 4671, pp. 153-161, August 2007.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, Portable Checkpointing of MPI Applications, 12th Workshop on Compilers for Parallel Computers, CPC, A Coruña (Spain), January 2006.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Controller/Precompiler for Portable Checkpointing, IEICE Transactions on Information and Systems, E89-D(2):408-417, February 2006.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, On designing portable checkpointing tools for large-scale parallel applications, 2nd International Conference on Computational Science and Engineering, ICCSE, Istanbul (Turkey), June 2005.

Gabriel Rodríguez, María J. Martín, Patricia González, Juan Touriño, Ramón Doallo, Controlador/Precompilador de Checkpoints Portables, XV Jornadas de Paralelismo, Almería (Spain), September 2004.