Publications in collaboration with researchers from Colorado State University (56)

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. Measurement of the Fluctuations in the Number of Muons in Extensive Air Showers with the Pierre Auger Observatory

    Physical Review Letters, Vol. 126, Núm. 15

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

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

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

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

  4. Representing integer sequences using piecewise-affine loops

    Mathematics, Vol. 9, Núm. 19

2020

  1. A 3-Year Sample of Almost 1,600 Elves Recorded Above South America by the Pierre Auger Cosmic-Ray Observatory

    Earth and Space Science, Vol. 7, Núm. 4

  2. Erratum: Search for photons with energies above 1018 eV using the hybrid detector of the Pierre Auger Observatory (Journal of Cosmology and Astroparticle Physics (2017) 4 (9) DOI: 10.1088/1475-7516/2017/04/009)

    Journal of Cosmology and Astroparticle Physics

  3. Features of the energy spectrum of cosmic rays above 2.5×1018 eV using the pierre auger observatory

    Physical Review Letters, Vol. 125, Núm. 12

  4. Measurement of the cosmic-ray energy spectrum above 2.5×1018 eV using the Pierre Auger Observatory

    Physical Review D, Vol. 102, Núm. 6

2019

  1. Data-driven estimation of the invisible energy of cosmic ray showers with the Pierre Auger Observatory

    Physical Review D, Vol. 100, Núm. 8

  2. Effect of distributed directories in mesh interconnects

    Proceedings - Design Automation Conference

  3. Generating piecewise-regular code from irregular structures

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

2018

  1. An Indication of Anisotropy in Arrival Directions of Ultra-high-energy Cosmic Rays through Comparison to the Flux Pattern of Extragalactic Gamma-Ray Sources

    Astrophysical Journal Letters, Vol. 853, Núm. 2

2017

  1. Search for photons with energies above 10 18 eV using the hybrid detector of the Pierre Auger Observatory

    Journal of Cosmology and Astroparticle Physics, Vol. 2017, Núm. 4

  2. Astrophysical interpretation of Pierre Auger Observatory measurements of the UHECR energy spectrum and mass composition

    EPJ Web of Conferences

  3. Exploiting the radio signal from air showers: The AERA progress

    EPJ Web of Conferences

  4. Impact of atmospheric effects on the energy reconstruction of air showers observed by the surface detectors of the Pierre Auger Observatory

    Journal of Instrumentation

  5. Inferences on mass composition and tests of hadronic interactions from 0.3 to 100 EeV using the water-Cherenkov detectors of the Pierre Auger Observatory

    Physical Review D, Vol. 96, Núm. 12

  6. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 2