397 citations · 492 across the 15 of their papers we have counts for
3 papers · 1 filter
PALMED: Throughput Characterization for Superscalar Architectures -- Extended Version
Nicolas Derumigny, Fabian Gruber, Théophile Bastian +4
In a super-scalar architecture, the scheduler dynamically assigns micro-operations (OPs) to execution ports. The port mapping of an architecture describes how an instruction dec…
Coherence Traffic in Manycore Processors with Opaque Distributed Directories
Steve Kommrusch, Marcos Horro, Louis-Noël Pouchet +2
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 distribu…
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Steve Kommrusch, Théo Barollet, Louis-Noël Pouchet
In this work we target the problem of provably computing the equivalence between two programs represented as dataflow graphs. To this end, we formalize the problem of equivalence b…