2024
- , Formal Verification of Source-to-Source Transformations for HLS, International Symposium on Field-Programmable Gate Arrays, FPGA , March 2024. Best paper award.
2023
2022
- , MARTA: Multi-configuration Assembly pRofiler and Toolkit for performance Analysis. 2022 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, May 2022. [author pdf]
- , Custom High-Performance Vector Code Generation for Data-Specific Sparse Computations. 31st International Conference on Parallel Architectures and Compilation Techniques, PACT, October 2022. [preprint].
2021
- , Optimizing Coherence Traffic in Manycore Processors Using Closed-form Caching/Home Agent Mappings, IEEE Access, 9:28930-28945, February 2021.
- , PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations. ACM SIGPLAN 2021 International Conference on Compiler Construction, CC, March 2021. [preprint]
- , Representing Integer Sequences Using Piecewise-Affine Loops. Mathematics, 9(19):2368, 2021.
- , Toolkit para (micro-)benchmarking y análisis de características de rendimiento en kernels, Jornadas SARTECO, September 2021.
2019
- , Affine modeling of program traces, IEEE Transactions on Computers, 68(2):294-300, 2019. [preprint]
- , Effect of distributed directories in mesh interconnects, 56th Annual Design Automation Conference, DAC, Las Vegas, NV (USA), June 2019. [preprint] (HiPEAC paper award)
- , Generating piecewise-regular code from irregular structures, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, Phoenix, AZ (USA), June 2019.
- , Truncated SIMD Multiplier Architecture for Approximate Computing in Low Power Programmable Processors, IEEE Access, 7:56353-56366, 2019.
- , Simulating the network activity of modern manycores, IEEE Access, 7:81195-81210, 2019.
2018
- , Polyhedral Modeling of Immutable Sparse Matrices. 8th International Workshop on Polyhedral Compilation Techniques, IMPACT, Manchester (UK), January 2018.
- , Updates on regularity detection and pattern matching for CnC programs. 10th Annual Concurrent Collections Workshop, Stony Brook, NY (USA), November 2018.
2017
- , Towards automatic regularity detection in Intel CnC C++. 9th Annual Concurrent Collections Workshop, College Station, TX (USA), October 2017.
- , 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 2017, Fiuggi (Italy), July 2017. (poster)
2016
- , Trace-Based Affine Reconstruction of Codes. 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2016, Barcelona (Spain), March 2016. [Free download through ACM Author-izer] [preprint]
- , Locality-aware automatic parallelization for GPGPU with OpenHMPP directives. International Journal of Parallel Programming, 44(3):620-643, 2016. [preprint]
- , Portable Application-Level Checkpointing for Hybrid MPI-OpenMP Applications. International Conference on Computational Science, ICCS 2016, San Diego, CA, USA, June 2016.
- , An Application-Level Solution for the Dynamic Reconfiguration of MPI Applications. 12th International Meeting on High Performance Computing for Computational Science, VECPAR 2016, Porto, Portugal, June 2016.
- , Architectural exploration of heterogeneous memory systems, 19th Workshop on Compilers for Parallel Computing, CPC 2016, Valladolid, Spain, July 2016.
- , 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 2016, Fiuggi, Italy, July 2016. (poster)
- , Exploración y optimización energética de arquitecturas heterogéneas con el framework gem5, XXVII Jornadas de Paralelismo, Salamanca, Spain, September 2016.
2015
- , Volatile STT-RAM scratchpad design and data allocation for low energy. ACM Transactions on Architecture and Code Optimization, 11(4):38, 2015. (Free download through ACM Author-izer)
- , I/O optimization in the checkpointing of OpenMP parallel applications. 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP'15. Turku (Finland), March 2015.
2014
- , Failure avoidance in MPI applications using an application-level approach, The Computer Journal, 57(1):100-114, 2014.
- , A parallelizing compiler for multicore systems, 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES'14. Schloss Rheinfels (Germany), June 2014. (Free download through ACM Author-izer)
- , Locality-aware automatic parallelization for GPGPU with OpenHMPP directives, 7th International Symposium on High-level Parallel Programming and Applications, HLPP'14. Amsterdam (Netherlands), July 2014.
- , In-memory application-level checkpoint-based migration for MPI programs, Journal of Supercomputing, 70(2):660-670, 2014.
- , Extending an application-level checkpointing tool to provide fault tolerance support to OpenMP applications, Journal of Universal Computer Science, 20(9):1351--1372, 2014.
2013
- , A novel compiler support for automatic parallelization on multicore systems, Parallel Computing, 39(9):442-460, 2013.
- , Improving scalability of application-level checkpoint-recovery by reducing checkpoint sizes, New Generation Computing, 31(3):163-185, 2013.
- , 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.
- , Compiler-assisted checkpointing of parallel codes: The Cetus and LLVM experience, International Journal of Parallel Programming, 41(6):782-805, 2013.
- , Resilient Dynamic Data Driven Application Systems (rDDDAS), International Conference on Computational Science, ICCS 2013, Barcelona, Spain. Procedia Computer Science 18:1929-1938. June 2013.
- , Achieving checkpointing global consistency through a hybrid compile time and runtime protocol, International Conference on Computational Science, ICCS 2013, Barcelona, Spain. Procedia Computer Science 18:169-178. June 2013.
- , Building Resilient Cloud Services using DDDAS and Moving Target Defence, International Journal of Cloud Computing, 2(2):171-190, 2013.
2012
- , Reducing application-level checkpoint file sizes: towards scalable fault tolerance solutions, Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'12)", pp. 371-378, ISBN 978-0-7695-4701-5, Madrid, Spain, July 2012.
2011
- , Checkpoint size reduction in application-level fault-tolerant solutions, Actas de las XXII Jornadas de Paralelismo, pp. 713-718, ISBN 978-84-694-1791-1, La Laguna (Tenerife, Spain), September 2011.
- , Cetus-assisted checkpointing of parallel codes, Cetus Users and Compiler Infrastructure Workshop, in conjunction with the 20th International Conference on Parallel Architectures and Compilation Techniques (PACT'11), Galveston, TX, USA, October 2011.
- , An application level approach for proactive process migration in MPI applications, 12th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'11), pp. 400-405, ISBN 978-0-7695-4564-6, Gwangju, South Korea, October 2011.
- , Analysis of performance-impacting factors on checkpointing frameworks: the CPPC case study, The Computer Journal, 54(11):1821-1837, November 2011. ISSN 0010-4620.
- , Parallel hierarchical radiosity on hybrid platforms, Journal of Supercomputing, 58(3):357-366, December 2011. ISSN 0920-8542.
2010
- , CPPC: A compiler-assisted tool for portable checkpointing of message-passing applications, Concurrency and Computation: Practice & Experience, 22(6):749-766, April 2010. ISSN 1532-0626.
- , Performance Evaluation of an Application-Level Checkpointing Solution on Grids, Future Generation Computer Systems, 26(7):1012-1023, July 2010. ISSN 0167-739X.
- , Achieving fault tolerance on Grids with the CPPC Framework and the GridWay Metascheduler, Proceedings of the 22nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2010), pp. 119-126. ISBN 978-0-7695-4216-4. Petropolis, RJ (Brazil), October 2010. (see on IEEE Xplore)
2009
- , A Heuristic Approach for the Automatic Insertion of Checkpoints in Message-Passing Codes, Journal of Universal Computer Science, 15(14):2894-2911, December 2009. ISSN 0948-695x.
2008
- , 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. ISBN 978-3-540-68105-2.
- , CPPC: A compiler-assisted tool for portable checkpointing of message-passing applications, Proceedings of the International Workshop on Scalable Tools for High-End Computing (STHEC 2008), held in conjunction with the 22nd ACM International Conference on Supercomputing (ICS'08), pp. 1-12. Kos (Greece), June 2008.
- , A fault tolerance solution for sequential and MPI applications on the Grid, Scalable Computing: Practice and Experience, 9(2):101-109, June 2008. ISSN 1895-1767.
- , "Tolerancia a fallos en aplicaciones reales utilizando CPPC", Actas de las XIX Jornadas de Paralelismo, pp. 323-328. ISBN 978-84-8021-676-0. Castellón, September 2008.
- , Compiler-assisted checkpointing of message-passing applications in heterogeneous environments, PhD. Thesis, December 2008. ISBN 978-84-692-8878-8.
2007
- , 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. ISSN 1139-207X.
- , CPPC-G: Fault-Tolerant Parallel Applications on the Grid, Proceedings of the 1st Iberian Grid Infrastructure Conference (IBERGRID'07), pp. 230-241. ISBN 978-84-611-6634-3. Santiago de Compostela (A Coruña, Spain), May 2007.
- , Enhancing Fault-Tolerance of Large-Scale MPI Scientific Applications, Lecture Notes in Computer Science, Vol. 4671, pp. 153-161, August 2007. ISBN 978-3-540-73939-5.
2006
- , Portable Checkpointing of MPI Applications, Proceedings of the 12th Workshop on Compilers for Parallel Computers (CPC'06), pp. 396-410. ISBN 54-609-8459-1. A Coruña (Spain), January 2006.
- , Controller/Precompiler for Portable Checkpointing, IEICE Transactions on Information and Systems, E89-D(2):408-417, February 2006. ISSN 0916-8532.
2005
- , On designing portable checkpointing tools for large-scale parallel applications, Proceedings of the 2nd International Conference on Computational Science and Engineering (ICCSE'05), pp. 191-203. ISBN 975-561-266-1. Istanbul (Turkey), June 2005.
2004
- , Controlador/Precompilador de Checkpoints Portables, Actas de las XV Jornadas de Paralelismo, pp. 253-258. ISBN 84-8240-714-7. Almería, September 2004.