Louis-Noel Pouchet
Colorado State University
H-index: 37
North America-United States
Top articles of Louis-Noel Pouchet
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach | Stéphane Pouget Louis-Noël Pouchet Jason Cong | 2024/4/1 | |
Formal Verification of Source-to-Source Transformations for HLS | Louis-Noël Pouchet Emily Tucker Niansong Zhang Hongzheng Chen Debjit Pal | 2024/4/1 | |
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules | IEEE Transactions on Software Engineering | Steve Kommrusch Martin Monperrus Louis-Noël Pouchet | 2023/4/27 |
Kernel Merging for Throughput-Oriented Accelerator Generation | 13th International Workshop on Polyhedral Compilation Techniques | Nicolas Derumigny Louis-Noël Pouchet | 2023/1 |
Machine learning for computer aided programming: From stochastic program repair to verifiable program equivalence | Steve Kommrusch | 2022 | |
Accelerator design with decoupled hardware customizations: benefits and challenges | Debjit Pal Yi-Hsiang Lai Shaojie Xiang Niansong Zhang Hongzheng Chen | 2022/7/10 | |
Fourst: A code generator for FFT-based fast stencil computations | Zafar Ahmad Mohammad Mahdi Javanmard Gregory Croisdale Aaron Gregory Pramod Ganapathi | 2022/5/22 | |
MARTA: Multi-configuration Assembly pRofiler and Toolkit for performance Analysis | Marcos Horro Louis-Noël Pouchet Gabriel RodríDguez Juan Tourino | 2022/5/22 | |
Palmed: Throughput characterization for superscalar architectures | Nicolas Derumigny Théophile Bastian Fabian Gruber Guillaume Iooss Christophe Guillon | 2022/4/2 | |
A Compiler for Hierarchical Task-Based Programming on Distributed-Memory | Alexandre Dubois | 2022 | |
Custom High-Performance Vector Code Generation for Data-Specific Sparse Computations | Marcos Horro Louis-Noël Pouchet Gabriel Rodríguez Juan Touriño | 2022/10/10 | |
Representing Integer Sequences Using Piecewise-Affine Loops | Mathematics | Gabriel Rodríguez Louis-Noël Pouchet Juan Touriño | 2021/9/24 |
Proving equivalence between complex expressions using graph-to-sequence neural models | arXiv preprint arXiv:2106.02452 | Steve Kommrusch Théo Barollet Louis-Noël Pouchet | 2021/6/1 |
PolyBench/Python: benchmarking Python environments with polyhedral optimizations | Miguel Á Abella-González Pedro Carollo-Fernández Louis-Noël Pouchet Fabrice Rastello Gabriel Rodríguez | 2021/3/2 | |
Optimizing coherence traffic in manycore processors using closed-form caching/home agent mappings | IEEE Access | Steve Kommrusch Marcos Horro Louis-Noël Pouchet Gabriel Rodríguez Juan Tourino | 2021/2/9 |
Equivalence of dataflow graphs via rewrite rules using a graph-to-sequence neural model | arXiv preprint arXiv:2002.06799 | Steve Kommrusch Théo Barollet Louis-Noël Pouchet | 2020/2/17 |
Coherence Traffic in Manycore Processors with Opaque Distributed Directories | arXiv preprint arXiv:2011.05422 | Steve Kommrusch Marcos Horro Louis-Noël Pouchet Gabriel Rodríguez Juan Touriño | 2020/11/10 |
Identification of Regular Patterns Within Sparse Data Structures | Travis Augustine | 2020 | |
Learning Axioms to Compute Verifiable Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks | Steven James Kommrusch Louis-Noel Pouchet Theo Barolett | 2020/10/2 | |
Pruning and Acceleration of Deep Neural Networks | Janarthanan Thivagara Sarma | 2020 |