Louis-Noël Pouchet

1. Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
   2020/02/17 by Steve Kommrusch, Kommrusch, Steve, Théo Barollet +3 · 2 voices
   Computer Science · Mathematics · #Formal Methods in Verification #Software Engineering Research #Software Testing and Debugging Techniques #cs.FL #cs.LG #stat.ML
2. The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization
   2011/11/29 by Riyadh Baghdadi, Baghdadi, Riyadh, Albert Cohen +9 · 4 citations
   Computer Science · #Distributed #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PF #cs.PL
3. PALMED: Throughput Characterization for Superscalar Architectures --\n Extended Version
   2020/12/21 by Nicolas Derumigny, Fabian M. Gruber, Fabian Gruber +12 · 1 voice
   Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Ferroelectric and Negative Capacitance Devices #Cloud Computing and Resource Management
4. On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution
   2014/04/18 by Venmugil Elango, Elango, Venmugil, Fabrice Rastello +7 · 2 citations
   Computer Science · #Data Structures and Algorithms (cs.DS) #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC #cs.DS
5. Automated Derivation of Parametric Data Movement Lower Bounds for Affine\n Programs
   2019/11/15 by Auguste Olivry, Olivry, Auguste, Julien Langou +7 · 1 citation
   Computer Science · #Parallel Computing and Optimization Techniques #Distributed and Parallel Computing Systems #Numerical Methods and Algorithms
6. Practical Formal Verification for MLIR Programs
   2026/05/01 by Emily Tucker, Louis-Noël Pouchet, Erika Hunhoff +2 · 1 voice
   Computer Science · #cs.PL
7. Holistic Optimization Framework for FPGA Accelerators
   2025/01/16 by Stéphane Pouget, Michael Lo, Pouget, Stéphane +5 · 1 citation
   Computer Science · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #VLSI and FPGA Design Techniques