Louis-No\"el Pouchet

Identifiers

No identifiers captured yet.

Papers (2)

1. Practical Formal Verification for MLIR Programs cs.PL · 2026 · author #2
2. A Performance Vocabulary for Affine Loop Transformations cs.DC · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Emily Tucker 1 shared papers
• Erika Hunhoff 1 shared papers
• Erwei Wang 1 shared papers
• Martin Kong 1 shared papers
• Stephen Neuendorffer 1 shared papers