Publicaciones en colaboración con investigadores/as de Colorado State University (7)

2024

  1. Formal Verification of Source-to-Source Transformations for HLS

    FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays

2022

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

    Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

2021

  1. Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings

    IEEE Access, Vol. 9, pp. 28930-28945

  2. PolyBench/Python: Benchmarking Python environments with polyhedral optimizations

    CC 2021 - Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

  3. Representing integer sequences using piecewise-affine loops

    Mathematics, Vol. 9, Núm. 19

2019

  1. Effect of distributed directories in mesh interconnects

    Proceedings - Design Automation Conference

  2. Generating piecewise-regular code from irregular structures

    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)