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

      Kommrusch, Steve; Horro, Marcos; Pouchet, Louis-Noël; Rodríguez, Gabriel; Touriño, Juan (Institute of Electrical and Electronics Engineers, 2021-02-09)
      [Abstract] Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent using scalable distributed directories. A paramount ...
    • PolyBench/Python: Benchmarking Python Environments With Polyhedral Optimizations 

      Abella González, Miguel Ángel; Carollo-Fernández, Pedro; Pouchet, Louis-Noël; Rastello, Fabrice; Rodríguez, Gabriel (Association for Computing Machinery, 2021-03)
      [Abstract] Python has become one of the most used and taught languages nowadays. Its expressiveness, cross-compatibility and ease of use have made it popular in areas as diverse as finance, bioinformatics or machine ...
    • Representing Integer Sequences Using Piecewise-Affine Loops 

      Rodríguez, Gabriel; Pouchet, Louis-Noël; Touriño, Juan (MDPI, 2021)
      [Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ...