Browsing by Author "Pouchet, Louis-Noël"

Now showing items 1-4 of 4

    • Formal Verification of Source-to-Source Transformations for HLS 

      Pouchet, Louis-Noël; Tucker, Emily; Zhang, Niansong; Chen, Hongzheng; Pal, Debjit; Rodríguez, Gabriel; Zhang, Zhiru (Association for Computing Machinery, Inc, 2024)
      [Abstract]: High-level synthesis (HLS) can greatly facilitate the description of complex hardware implementations, by raising the level of abstraction up to a classical imperative language such as C/C++, usually augmented ...

    • 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 ...